Solidity, the Smart Contract Programming Language
Repository Index
78,850 visible repositories in the index
1–12 of 12 · Most stars
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
- blockchain
- distributed-ledger-technology
- move
- smart-contracts
⚓ Solana Program Framework
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
- security-analysis
- ethereum
- blockchain
- smart-contracts
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
- blockchain
- contributor-friendly
- ethereum
- modular
Web3 Foundation Grants Program
- blockchain
- polkadot
- substrate
- kusama
Official docs, SDK, CLI and Anchor reference program for Float on Solana (Raydium LaunchLab/CPMM).
- crypto
- launchpad
- solana-launchpad
CityCoins give communities the power to improve and program their cities.
Graviton: verify your TEAL program by experiment and observation
- algorand
- avm
- blockchain
- pyteal
Write Clarity smart contracts using any programing language.
- clarity
- stacks
- stacksjs
- bitcoin-ai
Decentralized affiliate program on Waves blockchain