Pinned Loading

1. CEGIW CEGIW Public

   Counterexample-Guided Interval Weakening — ABZ 2026 paper

   Python

2. ocurrent/opam-repo-ci ocurrent/opam-repo-ci Public

   An OCurrent pipeline for testing submissions to opam-repository

   OCaml 24 24

3. DTLSR DTLSR Public

   Undergraduate dissertation project: Delay-Tolerant Link-State Routing; for running on the CORE network emulator

   C 2

4. bf bf Public

   Brainf*ck to LLVM IR compiler frontend

   C

5. prop-goal-weakening prop-goal-weakening Public

   Weakening Goals in Logical Specifications — ABZ 2025 paper

   OCaml 1

6. distortion distortion Public

   Experiments in discrete image distortion

   C++