repos
48
ecosystems
19
languages
9
commits
881
─── top repos · by commits
─── repositories
48 totalcvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
A library that provides an embeddable, persistent key-value store for fast storage.
A library that provides an embeddable, persistent key-value store for fast storage.
Solidity, the Smart Contract Programming Language
The "Yellow Paper": Ethereum's formal specification
This is solc-verify, a modular verifier for Solidity.
A rule-based contract-oriented high-level language.
[Optimism] (Slightly) modified Solidity compiler
Solidity, the Contract-Oriented Programming Language
Turkish community translation of the Solidity documentation
ZKsync fork of the original Solidity compiler.
Portuguese / Brazilian translation of the Solidity docs
Solidity, the Contract-Oriented Programming Language
DEPRECATED: Solidity v0.4.24, the Contract-Oriented Programming Language
Fork of the Solidity Compiler for compiling Solidity to IELE
Russian community translation of the Solidity documentation
Chinese community translation of the Solidity documentation
Indonesian community translation of the Solidity documentation
Spanish community translation of the Solidity documentation
Korean community translation of the Solidity documentation
Japanese community translation of the Solidity documentation
lllc support with latest opcodes
Solidity, the Contract-Oriented Programming Language
Solidity For Cortex
Fork of the Runtime Verification Solidity to IELE Compiler, to target MultiversX IELE. Not currently in use.
The Solidity Contract-Oriented Programming Language
Shyft:Solidity Contract-Oriented Programming Language
Solidity, the Contract-Oriented Programming Language
Solidity, the Smart Contract Programming Language
Solidity, the Smart Contract Programming Language
Solidity, the Contract-Oriented Programming Language
Solidity, the Contract-Oriented Programming Language
Solidity, the Contract-Oriented Programming Language
my version of solidity
ethereum-solidity
Solidity, the Contract-Oriented Programming Language
Resources & Documentation for Axelar Network
The Ethereum Classic Wiki
CubeSigner Go SDK
Resources & Documentation for Axelar Network
Resources & Documentation for Axelar Network
─── peer developers
─── ecosystems
─── languages
- C++23
- CMake7
- MDX3
- TeX2
- SMT1
- ANTLR1
- TypeScript1
- Go1
- JavaScript1
─── subscriber view
Unlock the full view of 4tXJ7f
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.