sergio-mena's Stars
informalsystems/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
cometbft/cometbft
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.