input-output-hk/marlowe
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
IsabelleApache-2.0
Watchers
- adrabenche
- angerman@input-output-hk
- bwbush@input-output-hk
- CaffinusMaximus
- CharlesHoskinson@input-output-hk Input Output Hong Kong Ltd.
- cleverca22
- dcouttsWell-Typed
- disassembler
- dk14
- edariasdev
- eemailme
- firhatnawfanhJakarta
- Fugu18Singapore
- hajola
- haoleism@input-output-hk
- heyerlabs
- jarturomoraInput-Output Global (IOHK)
- jhcloos
- joseph-fajenIOHK | IOG
- nhenin@IOHK
- nunofernandes-plightPhotonics Precision Technologies, The Intelligence of Information & FasterCapital
- palasMadrid, Spain
- raffi92RGTZ
- ramsay-tIOG
- SebastienGllmtdcSpark
- sedrionrionmint
- SergiySolenko
- simonjohnthompson
- Thaddeus19EVM
- tshaynikMontréal, Quebec
- vincedjango
- workshop-maybeGimbalabs
- yanika1High Tech Payment System
- yveshauserZurich, Switzerland