repos
74
ecosystems
28
languages
8
commits
622
─── top repos · by commits
─── repositories
74 totalSymbolic execution tool
Symbolic execution tool
A tool to automatically build a dependency graph and Software Bill of Materials (SBOM) for packages and arbitrary source code repositories.
Ethereum Virtual Machine (EVM) disassembler and assembler
Polkadot ink! fuzzer
Deptective automatically determines the native dependencies required to run any arbitrary program or command.
Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)
Static Analyzer for Teal
A simple multiplexer contract to execute a sequence of transactions.
Static Analyzer for Solidity and Vyper
CertiK fork of Slither Analyzer
Static Analyzer for Solidity and Vyper
Research on Vulnerability Detection Using Intermediate Representations of Solidity
Publications from Trail of Bits
Solidity, the Smart Contract Programming Language
Common tests for all Ethereum implementations
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.
Repository to submit finished milestones
Portuguese / Brazilian translation of the Solidity docs
Fork of the Solidity Compiler for compiling Solidity to IELE
Indonesian community translation of the Solidity documentation
Chinese community translation of the Solidity documentation
Russian 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
Common tests for all Ethereum implementations
lllc support with latest opcodes
Solidity, the Contract-Oriented Programming Language
Solidity For Cortex
The Solidity Contract-Oriented Programming Language
Common tests for all Ethereum implementations
Solidity, the Contract-Oriented Programming Language
Solidity, the Smart Contract Programming Language
Common tests for all Ethereum implementations
Common tests for all Ethereum implementations
Solidity, the Smart Contract Programming Language
Test data for Energi core node unit tests. Used as a submodule of the Energi core node repository.
Common tests for all Ethereum implementations
Solidity, the Contract-Oriented Programming Language
Common tests for all Ethereum implementations
Repository to submit finished milestones
Common tests for all Ethereum implementations
Common tests for all Ethereum implementations
Common tests for all Ethereum implementations
Solidity, the Contract-Oriented Programming Language
Solidity, the Contract-Oriented Programming Language
my version of solidity
ethereum-solidity
Common tests for all Ethereum implementations
Solidity, the Contract-Oriented Programming Language
Implementation and testing for core Dharma Token (dToken) contracts, including Dharma Dai and Dharma USD Coin.
Solidity, the Contract-Oriented Programming Language
DEPRECATED: Solidity v0.4.24, the Contract-Oriented Programming Language
Static Analyzer for Solidity
Web3 Foundation Grants Program
Fork of the Runtime Verification Solidity to IELE Compiler, to target MultiversX IELE. Not currently in use.
Shyft:Solidity Contract-Oriented Programming Language
Web3 Foundation Grants Program
Web3 Foundation Grants Program
Polkadot Open Source Grants Bounty - Applications
─── peer developers
─── ecosystems
─── languages
- C++22
- Python20
- JavaScript7
- CMake7
- Rust2
- C1
- MDX1
- ANTLR1
─── subscriber view
Unlock the full view of feliam
- · 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.