Pinned Loading
Repositories
Showing 10 of 713 repositories
- 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 - 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 - 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 - agda-abstract-set-theory Public
An abstract set theory library that can be instantiated in various ways
input-output-hk/agda-abstract-set-theory’s past year of commit activity
