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: 20 days 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 (over 7 years ago)
• Default Branch: master
• Last Pushed: 2025-04-29T17:43:59.000Z (30 days ago)
• Last Synced: 2025-04-29T18:23:28.455Z (30 days ago)
• Topics: blockchain, ocaml, scilla, smart-contracts, verification, zilliqa
• Language: OCaml
• Homepage: https://scilla-lang.org
• Size: 12.5 MB
• Stars: 248
• Watchers: 28
• Forks: 77
• Open Issues: 139
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE
  • Codeowners: .github/CODEOWNERS

Awesome Lists containing this project

• best-of-crypto - GitHub - 33% open · ⏱️ 15.02.2024): (Smart Contract Platforms)