Pinned Loading

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

   OCamlPro public development repository for Alt-Ergo

   OCaml 133 33

2. Gbury/dolmen Gbury/dolmen Public

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

   OCaml 80 17

3. sneeuwballen/benchpress sneeuwballen/benchpress Public

   Testing and benchmarking tool for logic-related programs.

   OCaml 25 8

4. OCamlPro/ocplib-simplex OCamlPro/ocplib-simplex Public

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

   OCaml 13 6

5. OCamlPro/freeton_wallet OCamlPro/freeton_wallet Public

   The 'ft' tool is a multi-account terminal wallet for the Free TON blockchain. It is based on the freeton_ocaml_sdk.

   OCaml 14 9

6. OCamlPro/ocaml-solidity OCamlPro/ocaml-solidity Public

   Ocaml-solidity provides a Solidity parser and typechecker

   OCaml 30 10