repos
156
ecosystems
6
languages
5
commits
703
─── top repos · by commits
─── repositories
156 totalFormal specifications of the Cardano ledger
Extension of Agda's standard library to accommodate a more typeclass-friendly interface.
An Agda mechanization of the Streamlet consensus protocol.
An abstract set theory library that can be instantiated in various ways
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 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 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 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 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 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 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 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 reference 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 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 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 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 language implementation and tools
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 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 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 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 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
Agda is a dependently typed programming language / interactive theorem prover.
─── peer developers
─── languages
- Haskell43
- HTML17
- Agda3
- PureScript1
- Nunjucks1
─── subscriber view
Unlock the full view of omelkonian
- · 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.