Pinned Loading

1. ocaml/dune ocaml/dune Public

   A composable build system for OCaml.

   OCaml 1.9k 490

2. quint-co/quint quint-co/quint Public

   An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

   TypeScript 1.6k 138

3. ocurrent/opam-repo-ci ocurrent/opam-repo-ci Public

   An OCurrent pipeline for testing submissions to opam-repository

   OCaml 24 24

4. apalache-mc/apalache apalache-mc/apalache Public

   APALACHE: symbolic model checker for TLA+ and Quint

   Scala 589 51

5. nomad nomad Public

   OCaml project situation tools: wander freely to find fertile ground

   OCaml 9

6. um-abt um-abt Public

   An OCaml library implementing unifiable abstract binding trees (UABTs)

   OCaml 29 1