repos
124
ecosystems
6
languages
5
commits
2,264
─── top repos · by commits
─── repositories
124 totalThe ledger implementation and specifications of the Cardano blockchain.
Adversary testing of your plutus contract
Adversary testing of your plutus contract
A library for stateful property-based testing
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 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 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 application platform
The Plutus application platform
Cooked validator bindings for QuickCheck contract model
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
Haskell's IO simulator which closely follows core packages (base, async, stm).
The Plutus application platform
The Plutus application platform
The Plutus application platform
The ledger implementation and specifications of the Cardano blockchain.
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
Marlowe smart contract language Cardano implementation
Implementation of the Hydra Head protocol
Proof of concept for the Hydra Head protocol :construction_worker:
The Marlowe website
Proof of concept for the Hydra Head protocol :construction_worker:
The Plutus language implementation and tools
Proof of concept for the Hydra Head protocol :construction_worker:
Proof of concept for the Hydra Head protocol :construction_worker:
The Plutus application platform
Proof of concept for the Hydra Head protocol :construction_worker:
The Plutus application platform
Fork of the Hydra Head for SundaeSwap's upstream contributions
Proof of concept for the Hydra Head protocol :construction_worker:
Implementation of the Hydra Head protocol
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
Formal specifications of the Cardano ledger
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
─── peer developers
─── languages
- Haskell60
- HTML2
- PureScript1
- Nunjucks1
- Agda1
─── subscriber view
Unlock the full view of MaximilianAlgehed
- · 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.