scilla
Smart contract language
A principled language designed to improve the security and verifiability of smart contracts
Scilla - A Smart Contract Intermediate Level Language
241 stars
29 watching
78 forks
Language: OCaml
last commit: 15 days 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 | A Haskell implementation of a smart contract language and compiler for the Cardano blockchain. | 1,572 |
 hzysvilla/academic_smart_contract_papers | A curated collection of published papers on smart contracts and their applications in various fields. | 454 |
 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,355 |
 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 | 285 |
 eth-sri/zkay | Tools and language for compiling and deploying private smart contracts on the Ethereum blockchain | 81 |
 shimmi/smart-contracts-skeleton | A set of tools to help develop and test smart contracts on the Ethereum blockchain | 23 |
 openzeppelin/cairo-contracts | A library for secure smart contract development written in Cairo for Starknet | 824 |
 geekshiv/smart-contract-hacking | A collection of resources and information on the topic of smart contract security testing and vulnerabilities. | 235 |
 safe-global/safe-smart-account | A suite of Ethereum-based smart contract libraries and tools for secure management of blockchain assets | 1,876 |
 securing/scsvs | A checklist to standardize the security of smart contracts in their development cycle. | 624 |