An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
created at May 28, 2021, 2:01 p.m.
A collection of open source Rust crates from iqlusion
created at March 22, 2018, 8:39 a.m.
APALACHE: symbolic model checker for TLA+ and Quint
created at July 3, 2015, 9:56 p.m.
Tendermint KMS: Key Management System for Tendermint Validators
created at Feb. 29, 2020, 4:49 p.m.
monorepo for the Agoric Javascript smart contract platform
created at Nov. 1, 2019, 3:30 p.m.
Curated list of tools, contracts, and projects working with CosmWasm
created at Dec. 26, 2019, 8:27 p.m.