PrototypeCommon
Zilliqa/scilla
Scilla - A Smart Contract Intermediate Level Language
Archived: this repository is read-only
- Owner
- Zilliqa (organization)
- Stars
- Stars: 249
- Forks
- Forks: 75
- Language
- OCaml
- License
- GPL-3.0
- Created
- 2018
- Topics
- smart-contractsblockchainverificationzilliqascillaocaml
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by Zilliqa
All 3 repos by Zilliqa- Zilliqa/zq1Stars: 1,116C++Beta
- Zilliqa/zilliqa-jsStars: 131TypeScriptPrototype
Nearby in OCaml
All OCaml repos- nlsandler/nqcc2Stars: 252OCamlAlpha
- RedPRL/coolttStars: 251OCamlAlpha
- lukaszcz/coqhammerStars: 249OCamlPrototype
- arthaud/c2bfStars: 248OCamlPrototype
- anmonteiro/reason-graphql-fullstackStars: 245OCamlPrototype
- alavrik/piqiStars: 244OCamlPrototype