repos
162
ecosystems
5
languages
8
commits
161,838
─── top repos · by commits
─── repositories
162 totalThe 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
The Plutus language reference 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
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
Marlowe smart contract language Cardano implementation
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Marlowe website
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
The Plutus application platform
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
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
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
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
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
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
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 reference implementation and tools
Agda is a dependently typed programming language / interactive theorem prover.
Formal specifications for the Cardano Blockchain
Design work for Peras protocol
Formal specification of Ouroboros Praos
Formal specification of the Ouroboros Leios protocol variants
─── peer developers
─── ecosystems
─── languages
- Haskell48
- HTML18
- Agda2
- PureScript1
- Nunjucks1
- JavaScript1
- Nix1
- TeX1
─── subscriber view
Unlock the full view of jmchapman
- · 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.