PrototypeCommune
marlowe-lang/marlowe
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
- Propriétaire
- marlowe-lang (organisation)
- Étoiles
- Étoiles : 174
- Forks
- Forks : 44
- Langage
- Isabelle
- Licence
- Apache-2.0
- Création
- 2017
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de marlowe-lang
Les 2 dépôts de marlowe-lang- marlowe-lang/marlowe-cardanoÉtoiles : 100HaskellPrototype
D’autres dépôts Isabelle
Tous les dépôts Isabelle- pirapira/eth-isabelleÉtoiles : 245IsabellePrototype
- elastic/elasticsearch-formal-modelsÉtoiles : 216IsabellePrototype
- au-ts/cogentÉtoiles : 184IsabellePrototype
- seL4/isabelleÉtoiles : 143IsabellePrototype
- awslabs/AutoCorrodeÉtoiles : 114IsabellePrototype
- isabelle-prover/mirror-isabelleÉtoiles : 101IsabellePrototype