Popular repositories Loading

1. verified-react verified-react Public

   Automated reasoning for React/ReasonML

   OCaml 116 4

2. fix-engine fix-engine Public

   Imandra FIX Engine

   OCaml 53 3

3. ocaml-opentelemetry ocaml-opentelemetry Public

   Instrumentation for https://opentelemetry.io

   OCaml 47 14

4. minisat-ml minisat-ml Public

   Faithful reimplementation of Minisat 2.2 in OCaml.

   OCaml 39 1

5. contracts contracts Public

   Imandra Contracts - Formal verification of smart contracts

   OCaml 32 3

6. ocaml-tracy ocaml-tracy Public

   Bindings to the Tracy profiler.

   OCaml 29