Pinned Loading

1. quint-co/quint quint-co/quint Public

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

   TypeScript 1.5k 135

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

   A model-based testing framework for Quint + Rust

   Rust 63 5

3. smarttrie smarttrie Public

   A simple in memory key-value storage based on a CTrie

   Scala 1 1

4. parallel-SMR parallel-SMR Public

   Parallel SMR implemented on top of BFT-SMaRt

   Jupyter Notebook 2 1