functor

Here are 4 public repositories matching this topic...

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

language typechecker parse model ocaml theorem-proving ocaml-library functor tptp atp smt-lib flexible-parsers

A Haskell fan fiction for ReasonML

haskell monad functor typeclasses reasonml

[wip] functorial library with classic algorithms for arithmetic

simplex logic ocaml-library functor arithmetic diophantine-solver

OCaml Public Key Cryptography Implementation (with proofs in French)

cryptography ocaml functor learning-by-doing course-notes

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."