Movatterモバイル変換

Showing 10 of 748 repositories

stackage.nix Public
Automatically generated Nix expressions of Stackage snapshots
input-output-hk/stackage.nix’s past year of commit activity
Nix 12 7 0 0 UpdatedDec 20, 2025
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
Jupyter Notebook 31 9 64 7 UpdatedDec 19, 2025
plinth-static-analyzer-research Public
Research repository for the Plu-stan analyzer
input-output-hk/plinth-static-analyzer-research’s past year of commit activity
0Apache-2.00 0 0 UpdatedDec 19, 2025
acropolis Public
Acropolis modular node architecture & components in Rust
input-output-hk/acropolis’s past year of commit activity
Rust 11Apache-2.0 6 100 (2 issues need help) 4 UpdatedDec 19, 2025
actions Public
IOG GitHub Actions
input-output-hk/actions’s past year of commit activity
Shell 2 5 2 1 UpdatedDec 19, 2025
hackage.nix Public
Automatically generated Nix expressions for Hackage
input-output-hk/hackage.nix’s past year of commit activity
Nix 21 18 0 0 UpdatedDec 19, 2025
mithril Public
Stake-based threshold multi-signatures protocol
input-output-hk/mithril’s past year of commit activity
Rust 146Apache-2.0 52 110 (2 issues need help) 8 UpdatedDec 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 40Apache-2.0 9 269 (5 issues need help) 16 UpdatedDec 19, 2025
plutus-halo2-verifier-gen Public
Tool to enable proof verification on Cardano blockchain
input-output-hk/plutus-halo2-verifier-gen’s past year of commit activity
Rust 5Apache-2.0 3 6 (3 issues need help) 4 UpdatedDec 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.0 1 34 4 UpdatedDec 19, 2025