elopez

echidna-action-demo

manticore

Symbolic execution tool

advent-of-code

brew

🍺 The missing package manager for macOS (or Linux)

chorus

crytic-compile

Abstraction layer for smart contract build systems

Dialog

Public repository for Dialog app

docker-borg-backup

A dockerized Borg Backup server

docker-texlive

Full TeX Live

echidna

Ethereum fuzz testing framework

eth-security-toolbox

A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.

etheno

Simplify Ethereum security analysis and testing

forge-template

Forkable template to get you started with Foundry's Forge

foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

foundry-template

Minimalist template for foundry projects

haskell-actions-setup

Setting up GHC, cabal, stack on for Haskell-related CIs

hevm

symbolic EVM evaluator. https://hevm.dev

homebrew-core

🍻 Default formulae for the missing package manager for macOS (or Linux)

homebrew-echidna

islandoftex-images-texlive

This is a repository providing Docker images for TeX Live (fork of https://gitlab.com/islandoftex/images/texlive)

it-depends

A tool to automatically build a dependency graph and Software Bill of Materials (SBOM) for packages and arbitrary source code repositories.

medusa

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

network

Low-level networking interface

optik

Optik is a set of symbolic execution tools that assist smart-contract fuzzers

optimism-dai-bridge

Optimism Dai and upgradable token bridge

pdfminer

Python PDF Parser (Not actively maintained). Check out pdfminer.six.

polyfile

A pure Python cleanroom implementation of libmagic, with instrumented parsing from Kaitai struct and an interactive hex viewer

slither

Static Analyzer for Solidity

slither-action-triage-57

zulip

Zulip server - powerful open source team chat