Repositories list

• codex-semantics-library.github.io

  Public
  Github pages for the codex semantics library

  HTML

  •

  MIT License

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jul 9, 2026Jul 9, 2026

• union-find-lattice

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

  ocaml-librarylatticeunion-find

  ocaml-librarylatticeunion-find

  OCaml

  •

  GNU Lesser General Public License v2.1

  •00 forks•22 stars•00 issues•00 pull requests•Updated Jul 6, 2026Jul 6, 2026

• patricia-tree

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

  ocamlocaml-librarypatricia-tree

  ocamlocaml-librarypatricia-tree

  OCaml

  •

  GNU Lesser General Public License v2.1

  •22 forks•1818 stars•77 issues•44 pull requests•Updated Jun 29, 2026Jun 29, 2026

• codex

  Public
  The main codex repository

  OCaml

  •

  GNU Lesser General Public License v2.1

  •44 forks•2828 stars•11 issue•44 pull requests•Updated Feb 3, 2026Feb 3, 2026