PrototypeCommon
marlowe-lang/marlowe
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
- Owner
- marlowe-lang (organization)
- Stars
- Stars: 174
- Forks
- Forks: 44
- Language
- Isabelle
- License
- Apache-2.0
- Created
- 2017
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by marlowe-lang
All 2 repos by marlowe-lang- marlowe-lang/marlowe-cardanoStars: 100HaskellPrototype
Nearby in Isabelle
All Isabelle repos- pirapira/eth-isabelleStars: 245IsabellePrototype
- elastic/elasticsearch-formal-modelsStars: 216IsabellePrototype
- au-ts/cogentStars: 184IsabellePrototype
- seL4/isabelleStars: 143IsabellePrototype
- awslabs/AutoCorrodeStars: 114IsabellePrototype
- isabelle-prover/mirror-isabelleStars: 101IsabellePrototype