scilla
Smart contract language
A principled language designed to improve the security and verifiability of smart contracts
Scilla - A Smart Contract Intermediate Level Language
243 stars
29 watching
77 forks
Language: OCaml
last commit: 4 months ago blockchainocamlscillasmart-contractsverificationzilliqa
Related projects:
| Repository | Description | Stars |
|---|---|---|
 pzbitskiy/tealang | A high-level language for creating Algorand smart contracts with an imperative syntax similar to Go or JavaScript. | 37 |
 petitnau/algoml | A domain-specific language for specifying Algorand smart contracts in a declarative style | 24 |
 flintlang/flint | Develops a new type-safe programming language for writing robust smart contracts on Ethereum. | 245 |
 intersectmbo/plutus | An implementation of a scripting language for the Cardano blockchain | 1,581 |
 hzysvilla/academic_smart_contract_papers | A curated collection of academic papers on smart contract security and related topics | 467 |
 jonzeolla/lab-smartcontractsecurity | A comprehensive resource for learning smart contract security and development using Ethereum as the platform. | 3 |
 use-ink/ink | An embedded domain-specific language for writing smart contracts in Rust for blockchains built on the Substrate framework. | 1,362 |
 originprotocol/security | Provides security-related resources and tools for developers building smart contracts on the Ethereum blockchain | 200 |
 algorand/pyteal | Provides a Python interface to Algorand Smart Contracts enabling developers to create and manage smart contracts using a high-level, functional programming style | 286 |
 eth-sri/zkay | Tools and language for compiling and deploying private smart contracts on the Ethereum blockchain | 83 |
 shimmi/smart-contracts-skeleton | A set of tools to help develop and test smart contracts on the Ethereum blockchain | 23 |
 openzeppelin/cairo-contracts | A comprehensive library for secure smart contract development in Cairo for Starknet, enabling fast iteration and secure deployment. | 833 |
 geekshiv/smart-contract-hacking | A collection of resources and information on the topic of smart contract security testing and vulnerabilities. | 238 |
 safe-global/safe-smart-account | Provides a set of smart contracts and tools for managing blockchain assets securely | 1,897 |
 securing/scsvs | A set of guidelines and standards to help developers create secure smart contracts | 626 |