Lists (1)
Stars
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
Rust mid-level IR Abstract Interpreter
Get up to date cToken data using 20% less gas without mutating state.
Solidity, the Smart Contract Programming Language
๐๐ฎ๐๐ฎ, ๐๐ป๐ฎ๐น๐๐๐ถ๐ฐ๐ & ๐๐. Modern alternative to Snowflake. Cost-effective and simple for massive-scale analytics. https://databend.com
An impish, cross-platform binary parsing crate, written in Rust
A DSL for Linear Temporal Logic + Interface with Z3 for solving
Dataframes powered by a multithreaded, vectorized query engine, 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
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.
UNIX-like reverse engineering framework and command-line toolset.
Uniswap arbitrage problem analysis