p-offtermatt

CometMock

Drop-in replacement for CometBFT in end-to-end tests

dogbunnypuzzle-quint

FastForward

A tool for reachability and coverability in Petri nets.

piwasm

p-offtermatt/dogbunnypuzzle-quint

p-offtermatt/FastForward

A tool for reachability and coverability in Petri nets.

p-offtermatt/piwasm

p-offtermatt/alliance

🤝 Alliance chain with x/alliance module

p-offtermatt/apalache-for-liveness

p-offtermatt/awesomewasm_2024

p-offtermatt/BlockingQueue

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

p-offtermatt/cometbft

CometBFT (fork of Tendermint Core): A distributed, Byzantine fault-tolerant, deterministic state machine replication engine

p-offtermatt/cosmos-sdk

:chains: A Framework for Building High Value Public Blockchains :sparkles:

p-offtermatt/cs-tools

Various small C# libraries.

p-offtermatt/Examples

A collection of TLA+ specifications of varying complexities

p-offtermatt/Hadara-AdSimul-Cav22-Dependency

A workflow nets verification tool suite base on reduction techniques.

p-offtermatt/ics-consumer

p-offtermatt/interchain-security

interchain-security houses the code implementing interchain security (aka replicated security) for Cosmos based blockchains.

p-offtermatt/itf-go

Go library for un/marshalling ITF files

p-offtermatt/kava

DeFi for Crypto.

p-offtermatt/knowledge-base

CometBFT team public knowledge base. Always a work-in-progress.

p-offtermatt/p-offtermatt.github.io

A beautiful, simple, clean, and responsive Jekyll theme for academics

p-offtermatt/process-watcher

Watch Linux processes by polling /proc and notify via email or desktop notification when they complete.

p-offtermatt/qcover

QCover: an efficient coverability verifier for discrete and continuous Petri nets

p-offtermatt/simbool

p-offtermatt/unnec-dec-lottery