All Git Users → informalsystems

4 open source projects by informalsystems

[ Open user page on Github ]

APALACHE: symbolic model checker for TLA+

✭ 187

scala smt model-checking

2. Tendermint Rs

Tendermint in Rust!

✭ 152

Nix Integration with Cosmos Projects

✭ 33

Verification-Driven Development

✭ 21

1-4 of 4 user projects