Movatterモバイル変換

Showing 10 of 718 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
HTML 26 8 15 5 UpdatedJul 19, 2025
hackage.nix Public
Automatically generated Nix expressions for Hackage
input-output-hk/hackage.nix’s past year of commit activity
Nix 20 19 0 0 UpdatedJul 19, 2025
ce-ashmaize Public
AshMaize PoW
input-output-hk/ce-ashmaize’s past year of commit activity
Rust0Apache-2.00 0 0 UpdatedJul 19, 2025
cardano-playground Public
Cardano testnet clusters
input-output-hk/cardano-playground’s past year of commit activity
HTML 5Apache-2.0 5 0 1 UpdatedJul 19, 2025
io-sim Public
Haskell's IO simulator which closely follows core packages (base, async, stm).
input-output-hk/io-sim’s past year of commit activity
Haskell 41Apache-2.0 21 17 (1 issue needs help) 8 UpdatedJul 19, 2025
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
Rust 4Apache-2.00 15 10 UpdatedJul 19, 2025
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
Dart 35Apache-2.0 9 277 (5 issues need help) 31 UpdatedJul 19, 2025
ouroboros-praos-formal-spec Public
Formal specification of Ouroboros Praos
input-output-hk/ouroboros-praos-formal-spec’s past year of commit activity
Agda 10 0 0 UpdatedJul 19, 2025
constrained-generators Public
Framework for generating constrained random data using a subset of first order logic
input-output-hk/constrained-generators’s past year of commit activity
Haskell0Apache-2.00 8 0 UpdatedJul 19, 2025
haskell.nix Public
Alternative Haskell Infrastructure for Nixpkgs
input-output-hk/haskell.nix’s past year of commit activity
Nix 593Apache-2.0 248 158 (35 issues need help) 6 UpdatedJul 19, 2025