🌴 Empowering everyone to build reliable and efficient smart contracts.
Repository Index
71,372 visible repositories in the index
1–12 of 12 · Most stars
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
- remix
- remix-ide
- solidity
- smart-contracts
FISCO BCOS（发音为/ˈfɪskl bi:ˈkɒz/）是一个稳定、高效、安全的许可区块链平台，已被广泛应用于现实的行业应用。截至目前，已拥有5000多家企事业单位，400多个产业数字化标杆应用，涵盖文化版权、司法服务、政府服务、物联网、金融、智慧社区、房地产建设、社区治理、乡村振兴等领域。FISCO BCOS (pronounced /ˈfɪskl bi:ˈkɒz/) is a stable, efficient, and secure permissioned blockchain platform that has been widely used in real-world industry applications.
- blockchain
- p2p
- consensus
- pbft
💎 Solidity compiler bindings for Deno
Redspot is an Substrate pallet-contracts (ink!) development environment. Compile your contracts and run them on a different networks. Redspot's core forks from Hardhat but changed a lot to suit substrate.
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
Tealang - high level language for Algorand ASC1 and TEAL
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
An expressive high level language for the Algorand block chain that compiles to TEAL code.
- blockchain
- algorand
- teal
- smartcontract