repos
51
ecosystems
4
languages
9
commits
2,215
─── top repos · by commits
─── repositories
51 totalFormally verified wallet implementation
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
FineTypes is an interface description language (IDL) focussing on types
Delta types represent changes to data
A full node wallet targeting businesses in need to track their ADA deposits
Formal specifications of the Cardano ledger
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
Addresses and mnemonic manipulation & derivations
Metadata for Cardano's Haskell package repository
Addresses and mnemonic manipulation & derivations
The ledger implementation and specifications of the Cardano blockchain.
Formal specifications for the Cardano Blockchain
A formal specification and executable model of the ledger rules introduced by the Shelley release
The ledger implementation and specifications of the Cardano blockchain.
The ledger implementation and specifications of the Cardano blockchain.
The ledger implementation and specifications of the Cardano blockchain.
The ledger implementation and specifications of the Cardano blockchain.
The ledger implementation and specifications of the Cardano blockchain.
Cardano Improvement Proposals (CIPs)
APIs & SDK for interacting with Cardano.
CIPs being edited or proposed by Project Catalyst
Fork created to add NFT Identity CIP
CIPs for ALBA, Leios, Peras, ...
Cardano Improvement Proposals (CIPs)
Fork of https://github.com/cardano-foundation/CIPs, for developing a new CIP.
Fork of CF CIPs for developing CIP PRs
Cardano Improvement Proposals (CIPs)
─── peer developers
─── ecosystems
─── languages
- Haskell17
- JavaScript11
- Python3
- Agda1
- Shell1
- TeX1
- Markdown1
- CSS1
- TypeScript1
─── subscriber view
Unlock the full view of HeinrichApfelmus
- · 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.