cason

Pinned Repositories

cosmoverse24
Cosmoverse 2024 - CometBFT Workshop
1 1 00
cometbft
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
Language:Go694 19 970567
cometbft-db
Database wrapper for CometBFT
Language:Go28 6 2559
malachite
Flexible BFT consensus engine in Rust
Language:Rust197 17 23518
quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Language:TypeScript861 25 72439
starknet-p2p-specs
Specification of P2P protocol for StarkNet nodes
49 6 129
awesome
Collection of resources for all things Tendermint
98 18 326
tendermint
⟁ Tendermint Core (BFT Consensus) in Go
Language:Go5.8k 259 3.5k2.1k