scilla topic
List
scilla repositories
scilla
249
Stars
77
Forks
Watchers
Scilla - A Smart Contract Intermediate Level Language
zns
28
Stars
8
Forks
Watchers
Zilliqa Naming Service
scilla-coq
24
Stars
8
Forks
Watchers
State-Transition Systems for Smart Contracts