josef-widder

josef-widder's Stars

• informalsystems/quint

  An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

  Language:TypeScript8742572641

• cometbft/cometbft

  CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.

  Language:Go70819972577

• informalsystems/tendermint-rs

  Client libraries for Tendermint/CometBFT in Rust!

  Language:Rust62934582231

• apalache-mc/apalache

  APALACHE: symbolic model checker for TLA+ and Quint

  Language:Scala45071.2k41

• tlaplus/vscode-tlaplus

  TLA+ language support for Visual Studio Code

  Language:TypeScript3631219437

• konnov/protocols-made-fun

  Protocols made fun: Igor's blog

  Language:HTML7310