Popular repositories Loading

1. algebra algebra Public

   Definitions for common algebraic structures

   OCaml 11

2. ocaml-fet ocaml-fet Public

   "FET is open source free software for automatically scheduling the timetable of a school, high-school or university."

   OCaml 6

3. toy-crypto toy-crypto Public

   OCaml Public Key Cryptography Implementation (with proofs in French)

   OCaml 5

4. api-cohttp-lwt api-cohttp-lwt Public

   js_of_ocaml-friendly HTTP API client library

   OCaml 4 1

5. futurama futurama Public

   Finite permutation library with an optimizing compiler

   TeX 4

6. discord discord Public

   A chatbot framework

   OCaml 4 1