Emilio López's repositories
hevm
symbolic EVM evaluator. https://hevm.dev
libff
C++ library for Finite Fields and Elliptic Curves
ctf
CTF Field Guide
tree-sitter-solidity
Solidity grammar for tree sitter
homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
slither
Static Analyzer for Solidity
echidna
Ethereum fuzz testing framework
medusa
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
haskell-actions-setup
Setting up GHC, cabal, stack on for Haskell-related CIs
crytic-compile
Abstraction layer for smart contract build systems
eth-security-toolbox
A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.
islandoftex-images-texlive
This is a repository providing Docker images for TeX Live (fork of https://gitlab.com/islandoftex/images/texlive)
docker-texlive
Full TeX Live
brew
🍺 The missing package manager for macOS (or Linux)
network
Low-level networking interface
foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
polyfile
A pure Python cleanroom implementation of libmagic, with instrumented parsing from Kaitai struct and an interactive hex viewer
foundry-template
Minimalist template for foundry projects
optik
Optik is a set of symbolic execution tools that assist smart-contract fuzzers
etheno
Simplify Ethereum security analysis and testing
it-depends
A tool to automatically build a dependency graph and Software Bill of Materials (SBOM) for packages and arbitrary source code repositories.
forge-template
Forkable template to get you started with Foundry's Forge
optimism-dai-bridge
Optimism Dai and upgradable token bridge
Dialog
Public repository for Dialog app
zulip
Zulip server - powerful open source team chat