Popular repositories Loading

1. monadic-synth monadic-synth Public

   A monadic library for creating synthesizers in OCaml.

   OCaml 40 2

2. funk funk Public

   Functional kernel written in OCaml.

   OCaml 37 1

3. ocaml-pandoc ocaml-pandoc Public

   An OCaml library for creating pandoc filters.

   OCaml 33 4

4. strid strid Public

   A string diagram generator for LaTeX.

   OCaml 32

5. ocaml-alg ocaml-alg Public

   Algebraic structures in OCaml.

   OCaml 27 4

6. catt catt Public

   An infinity-categorical coherence typechecker

   OCaml 18