Zilliqa/scilla

Scilla - A Smart Contract Intermediate Level Language

语言：OCaml · GitHub 星标：249 · Fork：75

话题：blockchain · ocaml · scilla · smart-contracts · verification · zilliqa

在 GitHub 上查看原仓库