josef-widder

Pinned Repositories

cometbft
CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.
Language:Go651 21 942479
ibc
Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.
Language:TeX940 78 538383
quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Language:TypeScript829 23 70235
tendermint-rs
Client libraries for Tendermint/CometBFT in Rust!
Language:Rust615 31 581224
apalache
APALACHE: symbolic model checker for TLA+
Language:Scala0 0 00
cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Language:Go0 0 00
Examples
A collection of TLA+ specifications of varying complexities
Language:TLA0 0 00
tendermint
⟁ Tendermint Core (BFT Consensus) in Go
Language:Go5.7k 261 3.5k2.1k
Examples
A collection of TLA⁺ specifications of varying complexities
Language:TLA1.3k 44 41200

josef-widder's Repositories

josef-widder/apalache
APALACHE: symbolic model checker for TLA+
Language:Scala0 0 00
josef-widder/cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Language:Go0 0 00
josef-widder/Examples
A collection of TLA+ specifications of varying complexities
Language:TLA0 0 00