Pinned Loading

1. hipsleek/Heifer hipsleek/Heifer Public

   Verifier for effectful, higher-order programs

   OCaml 19 10

2. staged staged Public

   A formalization of the logic underlying Heifer

   Rocq Prover 3 2

3. ppx_interact ppx_interact Public

   Interactive breakpoints!

   OCaml 48 3

4. ppx_deriving_unparse ppx_deriving_unparse Public

   Are you tired of writing pretty-printers?!

   OCaml 9

5. tlaplus tlaplus Public

   Forked from tlaplus/tlaplus

   TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

   Java 1

6. ppx_debug ppx_debug Public

   Tools for record-and-replay debugging

   OCaml 45