Pinned Loading

1. ocaml/dune ocaml/dune Public

   A composable build system for OCaml.

   OCaml 1.9k 508

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

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

   TypeScript 2.1k 163

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 625 56

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 30 1