1 result found Sort:

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