decanus

miller

Miller is like awk, sed, cut, join, and sort for name-indexed data such as CSV, TSV, and tabular JSON

namada

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

go_serialization_benchmarks

Benchmarks of Go serialization methods

polymath

Convert any music library into a music production sample-library with ML

ractor

Rust actor framework

BEPs

BNB Evolution Proposals

halmos

A symbolic testing tool for EVM smart contracts

quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

atproto-ecosystem

list of projects and implementations in the AT protocol ecosystem

contracts

Implementation of the Farcaster contracts

rollkit

A modular framework for rollups, with an ABCI-compatible client interface.

searcher-examples

Searcher Examples

skipper

Example MEV searching bot for the Cosmos ecosystem, using Skip.

ethereum-consensus

sushiswap-exploit

SushiSwap RouteProcessor2 exploit repro + supporting data useful for whitehats.

aura-contracts

Aura Finance contracts

medici-contracts-demo

searcher-cowswap-py

👾 my mev solver running arbitrage strategies for CoW protocol (e.g., running nelder mead simplex optimization)

medici-go-demo

defi-detective

Analyze new defi projects autonomously

blockchain-science-rs

👾 my on-chain research, foundry boilerplates, quant bots, algorithms - rust edition

arbitrage-docs

Documentation for Arbitrage - Gravity DEX and Osmosis

eth_call_abuser

CardsAgainstBlockchain

Cards Against Blockchain

puissant_sdk

methodical-ssz

Code generation tool for adding Ethereum SimpleSerialiZe support methods to existing go types

go-solc

Go Bindings for the Solidity Compiler

brah-weiroll-sdk

An SDK to work with weiroll scripting to generate bytecode.

curl-impersonate-rs

Hacky wrapper around `curl-impersonate`

research