Popular repositoriesLoading

1. algebraalgebraPublic

   Definitions for common algebraic structures

   OCaml 11

2. ocaml-fetocaml-fetPublic

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

   OCaml 6

3. toy-cryptotoy-cryptoPublic

   OCaml Public Key Cryptography Implementation (with proofs in French)

   OCaml 5

4. api-cohttp-lwtapi-cohttp-lwtPublic

   js_of_ocaml-friendly HTTP API client library

   OCaml 4 1

5. futuramafuturamaPublic

   Finite permutation library with an optimizing compiler

   TeX 4

6. discorddiscordPublic

   A chatbot framework

   OCaml 4 1