repos
136
ecosystems
5
languages
11
commits
10,972
─── top repos · by commits
─── repositories
136 totalMarlowe smart contract language Cardano implementation
Design work for Peras protocol
Deploy ACTUS contracts on Cardano from your web browser
Marlowe language specification
Documentation and tools relating to the design and prototyping of Ouroboros Leios
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 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 Marlowe website
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 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 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 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 reference implementation and tools
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 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 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 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 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
A simple app which allows you to deploy and progress through Marlowe contract on Cardano.
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
The Plutus language implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
Formal specification of the Ouroboros Leios protocol variants
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
Implementation of the ACTUS taxonomy
PureScript implementation of the Marlowe smart contract lanugage
The Plutus language implementation and tools
The Plutus language implementation and tools
Formal specification of Ouroboros Praos
The Plutus language implementation and tools
Example Marlowe Contracts
Experimental version of Marlowe validators with minimal dependencies on other Haskell pacakges
Run Marlowe on a Hydra head.
Lectures, documentation, and examples for Marlowe Pioneer Program.
Implementation of the Hydra Head protocol
Formal specifications for the Cardano Blockchain
Monthly reports and dev blog of the Cardano Scaling group
Documentation of the Marlowe language and ecosystem
Proof of concept for the Hydra Head protocol :construction_worker:
Proof of concept for the Hydra Head protocol :construction_worker:
Proof of concept for the Hydra Head protocol :construction_worker:
Proof of concept for the Hydra Head protocol :construction_worker:
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
─── peer developers
─── ecosystems
─── languages
- Haskell52
- PureScript7
- HTML6
- Nix2
- Jupyter Notebook2
- Agda2
- Nunjucks1
- Isabelle1
- TeX1
- TypeScript1
─── subscriber view
Unlock the full view of yveshauser
- · 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.