Pinned Loading
Repositories
Showing 10 of 713 repositories
- catalyst-voices Public
🎙️ Catalyst Voices provides a unified experience and platform including production-ready liquid democracy, meaningful collaboration opportunities & data-driven context for better onboarding & decisions.
input-output-hk/catalyst-voices’s past year of commit activity - ouroboros-leios Public
Documentation and tools relating to the design and prototyping of Ouroboros Leios
input-output-hk/ouroboros-leios’s past year of commit activity - efficient-ffa Public
Formalization of soundness and correctness proofs of efficient foreign field arithmetic (FFA) developed at IOG/Midnight.
input-output-hk/efficient-ffa’s past year of commit activity - catalyst-libs Public
🌐 A collection of multi-language libraries supporting Catalyst, Cardano’s community-driven innovation platform, enabling secure voting, proposal management, and ecosystem integration.
input-output-hk/catalyst-libs’s past year of commit activity - ouroboros-leios-formal-spec Public
input-output-hk/ouroboros-leios-formal-spec’s past year of commit activity
