repos
149
ecosystems
5
languages
9
commits
14,337
─── top repos · by commits
─── repositories
149 totalThe ledger implementation and specifications of the Cardano blockchain.
The Plutus application platform
Marlowe smart contract language Cardano implementation
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Marlowe website
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language reference implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
Light client prototype feature type for UTxO- based blockchains for submitting transactions privately
Documentation, Specification, and Design for an Extended Anti-Grinding Feature in Ouroboros Praos and Beyond
Cardano Improvement Proposals (CIPs)
Formal specifications of the Cardano ledger
Formal specifications for the Cardano Blockchain
Experimental version of Marlowe validators with minimal dependencies on other Haskell pacakges
CIPs for ALBA, Leios, Peras, ...
─── peer developers
─── ecosystems
─── languages
- Haskell44
- HTML16
- Python2
- PureScript1
- Nunjucks1
- JavaScript1
- Nix1
- Agda1
- TeX1
─── subscriber view
Unlock the full view of polinavino
- · 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.