🏛️ Hermes is a high-availability blockchain voting database that acts as a distributed storage and event processor for voting events, proposals, and actions.

Cardano testnet clusters

Automatically generated Nix expressions for Hackage

Stake-based threshold multi-signatures protocol

Haskell's IO simulator which closely follows core packages (base, async, stm).

Formal specification of the Ouroboros Leios protocol variants

Acropolis microservice architecture & components in Rust

🎙️ Catalyst Voices provides a unified experience and platform including production-ready liquid democracy, meaningful collaboration opportunities & data-driven context for better onboarding & decisions.

Python wrapper for cardano-cli for working with cardano cluster