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. tiber tiber Public

   AES symmetric block cipher implementation, for data encryption

   Rust

4. bf bf Public

   Brainf*ck to LLVM IR compiler frontend

   C

5. DTLSR DTLSR Public

   Delay-tolerant link-state routing protocol — Undergraduate dissertation project

   C 2

6. rose rose Public

   Visualiser for Solitaire game graphs

   C++