Showing 3 of 3 repositories tagged #scilla, ranked by stars
Scilla - A Smart Contract Intermediate Level Language
State-Transition Systems for Smart Contracts
