A Haskell fan fiction for ReasonML
-
Updated
Dec 30, 2018 - OCaml
A Haskell fan fiction for ReasonML
[wip] functorial library with classic algorithms for arithmetic
OCaml Public Key Cryptography Implementation (with proofs in French)
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
Add a description, image, and links to the functor topic page so that developers can more easily learn about it.
To associate your repository with the functor topic, visit your repo's landing page and select "manage topics."