1 result found Sort:

77
245
gpl-3.0
29
Scilla - A Smart Contract Intermediate Level Language
Created 2018-02-13
1,320 commits to master branch, last one 10 months ago