Learn Rust dark magics by implementing an expression framework in database systems

Dafny is a verification-aware programming language

Ethereum Proof-of-Stake Consensus Specifications

Ethereum peer-to-peer networking specifications

Symbolic and concrete EVM execution engine

Rust mid-level IR Abstract Interpreter

Ethereum event log signatures database

Get up to date cToken data using 20% less gas without mutating state.

Solidity, the Smart Contract Programming Language

𝗔𝗜-𝗡𝗮𝘁𝗶𝘃𝗲 𝗗𝗮𝘁𝗮 𝗪𝗮𝗿𝗲𝗵𝗼𝘂𝘀𝗲. Blazing analytics, fast search, geo insights, vector AI. Built for multimodal analytics, Open-source Snowflake alternative. https://databend.com

An impish, cross-platform binary parsing crate, written in Rust

A DSL for Linear Temporal Logic + Interface with Z3 for solving

Extremely fast Query Engine for DataFrames, written in Rust

🥧 HTTPie CLI — modern, user-friendly command-line HTTP client for the API era. JSON support, colors, sessions, downloads, plugins & more.

Library for building symbolically executable stack-based virtual machines

Deterministic state machine engine written in Rust

Free conversion between async and sync in Rust

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

Experiement tui

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

A monitor for borrow and lending protocols on Ethereum.

A cross-platform TUI database management tool written in Rust

An easy tool to apply transactions to the current EVM state. Optimized for MEV.

DeFi Developer Road Map. Feel free to submit a pull request, with anything from small fixes to translations, docs or tools you'd like to add.

Acala - cross-chain DeFi hub and stablecoin based on Substrate for Polkadot and Kusama.

mold: A Modern Linker 🦠

UNIX-like reverse engineering framework and command-line toolset.

Uniswap arbitrage problem analysis