Pinned Loading

1. python_dst python_dst Public

   Playing around with teachings from beazley and tornow for python deterministic simulation

   Python 2

2. quint-playground quint-playground Public

   Repository to learn formal modeling, with quint-lang.org

3. tlaplus-playground tlaplus-playground Public

   Repository to learn tla+

   TLA

4. raft-cpp-detsim raft-cpp-detsim Public

   Attempting for the nth time to run a detsim for raft, this time in c++20 coroutines

5. cc cc Public

   Following nora sandler's writing a c compiler

   C++