scilla
by Zilliqa
Scilla - A Smart Contract Intermediate Level Language
AI summary
Smart contract language
A principled language designed to improve the security and verifiability of smart contracts
- stars
- 243
- forks
- 77
- watching
- 29
Similar projects
Found by comparing what the projects do, not just their names.
Smart contract language
A high-level language for creating Algorand smart contracts with an imperative syntax similar to Go or JavaScript.
Contract DSL
A domain-specific language for specifying Algorand smart contracts in a declarative style
Smart contract language
Develops a new type-safe programming language for writing robust smart contracts on Ethereum.
Blockchain scripting language
An implementation of a scripting language for the Cardano blockchain
Smart Contract Papers
A curated collection of academic papers on smart contract security and related topics
Smart contract lab
A comprehensive resource for learning smart contract security and development using Ethereum as the platform.
use-ink/ink1.4K
Contract DSL
An embedded domain-specific language for writing smart contracts in Rust for blockchains built on the Substrate framework.
Smart contract security toolkit
Provides security-related resources and tools for developers building smart contracts on the Ethereum blockchain
Smart contract library
Provides a Python interface to Algorand Smart Contracts enabling developers to create and manage smart contracts using a high-level, functional programming style
Smart contract compiler
Tools and language for compiling and deploying private smart contracts on the Ethereum blockchain
Smart contract development suite
A set of tools to help develop and test smart contracts on the Ethereum blockchain
Smart contract library
A comprehensive library for secure smart contract development in Cairo for Starknet, enabling fast iteration and secure deployment.
Smart Contract Security Guide
A collection of resources and information on the topic of smart contract security testing and vulnerabilities.
Smart contract suite
Provides a set of smart contracts and tools for managing blockchain assets securely
Smart contract security framework
A set of guidelines and standards to help developers create secure smart contracts
