-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedSep 24, 2025 -
solc.nix Public
Forked from hellwolf/solc.nixProviding assorted versions of solidity compilers (solc).
Nix MIT License UpdatedAug 27, 2025 -
manticore Public
Forked from trailofbits/manticoreSymbolic execution tool
-
echidna Public
Forked from crytic/echidnaEthereum fuzz testing framework
-
hevm Public
Forked from argotorg/hevmsymbolic EVM evaluator. https://hevm.dev
Haskell GNU Affero General Public License v3.0 UpdatedAug 6, 2025 -
fuzzer-gas-metric-benchmark Public
Forked from rappie/fuzzer-gas-metric-benchmarkAnalyze and compare the gas usage metrics between Echidna, Medusa, and Foundry
Solidity UpdatedAug 2, 2025 -
-
-
homebrew-core Public
Forked from Homebrew/homebrew-core🍻 Default formulae for the missing package manager for macOS (or Linux)
Ruby BSD 2-Clause "Simplified" License UpdatedFeb 4, 2025 -
eth-security-toolbox Public
Forked from trailofbits/eth-security-toolboxA Docker container preconfigured with all of the Trail of Bits Ethereum security tools.
Dockerfile GNU Affero General Public License v3.0 UpdatedDec 17, 2024 -
medusa Public
Forked from crytic/medusaParallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
Go GNU Affero General Public License v3.0 UpdatedDec 16, 2024 -
cloud-tunnel Public
Packer template to build IPv6 tunnel VMs with WireGuard on Hetzner Cloud
Python UpdatedNov 30, 2024 -
libff Public
Forked from scipr-lab/libffC++ library for Finite Fields and Elliptic Curves
C++ Other UpdatedSep 19, 2024 -
ctf Public
Forked from trailofbits/ctfCTF Field Guide
C Creative Commons Attribution Share Alike 4.0 International UpdatedSep 12, 2024 -
tree-sitter-solidity Public
Forked from JoranHonig/tree-sitter-soliditySolidity grammar for tree sitter
Python MIT License UpdatedSep 8, 2024 -
slither Public
Forked from crytic/slitherStatic Analyzer for Solidity
Python GNU Affero General Public License v3.0 UpdatedJun 24, 2024 -
haskell-actions-setup Public
Forked from haskell-actions/setupSetting up GHC, cabal, stack on for Haskell-related CIs
TypeScript MIT License UpdatedDec 1, 2023 -
crytic-compile Public
Forked from crytic/crytic-compileAbstraction layer for smart contract build systems
Python GNU Affero General Public License v3.0 UpdatedNov 8, 2023 -
islandoftex-images-texlive Public
This is a repository providing Docker images for TeX Live (fork of https://gitlab.com/islandoftex/images/texlive)
Shell MIT License UpdatedJul 29, 2023 -
docker-texlive Public
Forked from dante-ev/docker-texliveFull TeX Live
Dockerfile MIT License UpdatedJul 29, 2023 -
brew Public
Forked from Homebrew/brew🍺 The missing package manager for macOS (or Linux)
Ruby BSD 2-Clause "Simplified" License UpdatedJul 21, 2023 -
network Public
Forked from haskell/networkLow-level networking interface
Haskell Other UpdatedMay 22, 2023 -
-
foundry Public
Forked from foundry-rs/foundryFoundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Rust Apache License 2.0 UpdatedApr 24, 2023 -
polyfile Public
Forked from trailofbits/polyfileA pure Python cleanroom implementation of libmagic, with instrumented parsing from Kaitai struct and an interactive hex viewer
Python Apache License 2.0 UpdatedFeb 28, 2023 -
foundry-template Public template
Forked from ZeframLou/foundry-templateMinimalist template for foundry projects
Solidity GNU Affero General Public License v3.0 UpdatedJan 25, 2023 -
-
optik Public
Forked from crytic/optikOptik is a set of symbolic execution tools that assist smart-contract fuzzers
Python Other UpdatedDec 12, 2022 -
etheno Public
Forked from crytic/ethenoSimplify Ethereum security analysis and testing
Python GNU Affero General Public License v3.0 UpdatedNov 1, 2022 -
{{ message }}