Pinned Repositories
competition-boilerplate
Boilerplate template for programming competitions
dotfiles
my dotfiles + installation script
echidna-action-demo
echidna-ethernaut
Solving the Ethernaut CTF with Echidna
EDyA-I
Trabajo final para la cátedra de Estructuras de Datos y Algoritmos I
enablewhatsappweb
A Firefox addon to disable the checks WhatsApp put in place to disallow Firefox users from using WhatsApp Web
keybinder
Simple program to map keypresses to commands
linux
Linux kernel source tree
manticore
Symbolic execution tool
linux
Linux kernel source tree
elopez's Repositories
elopez/echidna-action-demo
elopez/manticore
Symbolic execution tool
elopez/advent-of-code
elopez/brew
🍺 The missing package manager for macOS (or Linux)
elopez/chorus
elopez/crytic-compile
Abstraction layer for smart contract build systems
elopez/Dialog
Public repository for Dialog app
elopez/docker-borg-backup
A dockerized Borg Backup server
elopez/docker-texlive
Full TeX Live
elopez/echidna
Ethereum fuzz testing framework
elopez/eth-security-toolbox
A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.
elopez/etheno
Simplify Ethereum security analysis and testing
elopez/forge-template
Forkable template to get you started with Foundry's Forge
elopez/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
elopez/foundry-template
Minimalist template for foundry projects
elopez/haskell-actions-setup
Setting up GHC, cabal, stack on for Haskell-related CIs
elopez/hevm
symbolic EVM evaluator. https://hevm.dev
elopez/homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
elopez/homebrew-echidna
elopez/islandoftex-images-texlive
This is a repository providing Docker images for TeX Live (fork of https://gitlab.com/islandoftex/images/texlive)
elopez/it-depends
A tool to automatically build a dependency graph and Software Bill of Materials (SBOM) for packages and arbitrary source code repositories.
elopez/medusa
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
elopez/network
Low-level networking interface
elopez/optik
Optik is a set of symbolic execution tools that assist smart-contract fuzzers
elopez/optimism-dai-bridge
Optimism Dai and upgradable token bridge
elopez/pdfminer
Python PDF Parser (Not actively maintained). Check out pdfminer.six.
elopez/polyfile
A pure Python cleanroom implementation of libmagic, with instrumented parsing from Kaitai struct and an interactive hex viewer
elopez/slither
Static Analyzer for Solidity
elopez/slither-action-triage-57
elopez/zulip
Zulip server - powerful open source team chat