Pinned Loading

1. OCamlPro/alt-ergo OCamlPro/alt-ergo Public

   OCamlPro public development repository for Alt-Ergo

   OCaml 139 35

2. Gbury/dolmen Gbury/dolmen Public

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

   OCaml 88 20

3. formalsec/smtml formalsec/smtml Public

   An SMT solver frontend for OCaml

   OCaml 48 13

4. OCamlPro/ocaml-solidity OCamlPro/ocaml-solidity Public

   Ocaml-solidity provides a Solidity parser and typechecker

   OCaml 33 12

5. sneeuwballen/benchpress sneeuwballen/benchpress Public

   Testing and benchmarking tool for logic-related programs.

   OCaml 26 8

6. OCamlPro/ocplib-simplex OCamlPro/ocplib-simplex Public

   A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities

   OCaml 14 6