Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/Zilliqa/scilla

Scilla - A Smart Contract Intermediate Level Language
https://github.com/Zilliqa/scilla

blockchain ocaml scilla smart-contracts verification zilliqa

Last synced: about 2 months ago
JSON representation

Scilla - A Smart Contract Intermediate Level Language

Host: GitHub
URL: https://github.com/Zilliqa/scilla
Owner: Zilliqa
License: gpl-3.0
Created: 2018-02-13T18:58:51.000Z (almost 7 years ago)
Default Branch: master
Last Pushed: 2024-07-02T11:37:27.000Z (6 months ago)
Last Synced: 2024-11-05T18:54:25.920Z (2 months ago)
Topics: blockchain, ocaml, scilla, smart-contracts, verification, zilliqa
Language: OCaml
Homepage: https://scilla-lang.org
Size: 12.5 MB
Stars: 240
Watchers: 29
Forks: 78
Open Issues: 137
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Codeowners: .github/CODEOWNERS