repos
33
ecosystems
3
languages
6
commits
190
─── top repos · by commits
─── repositories
33 total★ 43
114 commits
Haskell→ Cardano
input-output-hk/ouroboros-leios-formal-spec
Formal specification of the Ouroboros Leios protocol variants
★ 4
31 commits
Agda→ Cardano
★ 7
7 commits
Haskell→ Cardano
IntersectMBO/cardano-haskell-packages
Metadata for Cardano's Haskell package repository
★ 36
6 commits
Shell→ Cardano
tweag/cooked-template
A template to write offchain (or audit) code for Cardano smart contracts
★ 0
4 commits
Haskell→ Cardano
cardano-foundation/CIPs
Cardano Improvement Proposals (CIPs)
★ 565
1 commits
IntersectMBO/cardano-api
Cardano API
★ 40
1 commits
Haskell→ Cardano
cardano-foundation/catalyst-CIPs
CIPs being edited or proposed by Project Catalyst
★ 3
1 commits
JavaScript→ Cardano
cardano-scaling/CIPs
CIPs for ALBA, Leios, Peras, ...
★ 2
1 commits
Python→ Cardano
★ 0
1 commits
★ 0
1 commits
Haskell→ Cardano
★ 0
1 commits
Haskell→ Cardano
★ 0
1 commits
Haskell→ Cardano
★ 0
1 commits
★ 0
1 commits
littlefish-foundation/CIPs
Cardano Improvement Proposals (CIPs)
★ 0
1 commits
JavaScript→ Cardano
★ 0
1 commits
JavaScript→ Cardano
★ 0
1 commits
★ 0
1 commits
Python→ Cardano
Quviq/CIPs
Fork of https://github.com/cardano-foundation/CIPs, for developing a new CIP.
★ 0
1 commits
JavaScript→ Cardano
★ 0
1 commits
★ 0
1 commits
★ 0
1 commits
JavaScript→ Cardano
ikigai-github/CIPs
Fork of CF CIPs for developing CIP PRs
★ 0
1 commits
JavaScript→ Cardano
★ 0
1 commits
TypeScript→ Cardano
★ 0
1 commits
JavaScript→ Cardano
★ 0
1 commits
JavaScript→ Cardano
Cerkoryn/CIPs
Cardano Improvement Proposals (CIPs)
★ 0
1 commits
Python→ Cardano
cardano-scaling/cardano-api
Cardano API
★ 0
1 commits
Haskell→ Cardano
★ 0
1 commits
JavaScript→ Cardano
★ 0
1 commits
JavaScript→ Cardano
★ 0
1 commits
★ 0
1 commits
JavaScript→ Berry
─── peer developers
─── ecosystems
─── languages
- JavaScript11
- Haskell8
- Python3
- Agda1
- Shell1
- TypeScript1
─── subscriber view
Unlock the full view of mmontin
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.