Popular repositories Loading

1. Ocaml-Huffman Ocaml-Huffman Public

   Implementation of the Huffman compression in pure Ocaml

   OCaml 4

2. SMT-solver SMT-solver Public

   Implementation of a SMT solver in Ocaml

   OCaml 3 1

3. Scala-compiler Scala-compiler Public

   A Scala to x86 compiler written in OCaml. It can handle almost all Scala's functionalities

   OCaml 3

4. fulltype fulltype Public

   TypeScript 3

5. Kahn_process_networks Kahn_process_networks Public

   OCaml 2

6. lockfree lockfree Public

   Forked from ocaml-multicore/saturn

   Lock-free data structures for multicore OCaml

   OCaml 1