codex-semantics-library

Popular repositories Loading

1. codex codex Public

   The main codex repository

   OCaml 27 5

2. patricia-tree patricia-tree Public

   Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys

   OCaml 18 2

3. union-find-lattice union-find-lattice Public

   OCaml library for persistent union-find structures with lattice operations (join, meet, and inclusion)

   OCaml 3

4. codex-semantics-library.github.io codex-semantics-library.github.io Public

   Github pages for the codex semantics library

   HTML 2

5. rocq-bottom rocq-bottom Public

   Rocq-bottom: certified transfer functions in Rocq

   Rocq Prover