Pinned Loading

1. ocaml-gospel/gospel ocaml-gospel/gospel Public

   A tool-agnostic formal specification language for OCaml.

   OCaml 155 18

2. ocaml-gospel/ortac ocaml-gospel/ortac Public

   Runtime assertion checking based on Gospel specifications

   OCaml 50 11

3. mirage/irmin mirage/irmin Public

   Irmin is a distributed database that follows the same design principles as Git

   OCaml 1.9k 165

4. mirage/index mirage/index Public

   A platform-agnostic multi-level index

   OCaml 33 23

5. cachecache cachecache Public

   Efficient caching library for OCaml

   OCaml 33 4

6. mirage/bloomf mirage/bloomf Public

   Efficient Bloom filters for OCaml

   OCaml 38 6