WilfredTA

comprehensive-rust

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

atproto

Social networking technology created by Bluesky

roc

A fast, friendly, functional language.

artemis

A simple, modular, and fast framework for writing MEV bots in Rust.

weird-erc20

weird erc20 tokens

maplibre-rs

Experimental Maps for Web, Mobile and Desktop

verified-smart-contracts

Smart contracts which are formally verified

bacalhau

Compute over Data framework for public, transparent, and optionally verifiable computation

uniswapv3-book

Uniswap V3 Development Book

sail

Sail architecture definition language

awesome-oracle-manipulation

Awesome list of all things oracle manipulation. Creating to help spread a better understanding of oracles and oracle manipulation.

solidity-bytes-utils

Utility Solidity library composed of basic operations for tightly packed bytes arrays

sail-riscv

Sail RISC-V model

egglog

egraphs + datalog!

sovereign-sdk

A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain

temper

Temper your expectations - Ethereum Transaction Simulator

parity-bridges-common

Collection of Useful Bridge Building Tools 🏗️

upgrading-ethereum-book

Source repo for Upgrading Ethereum, A technical handbook on Ethereum's move to proof of stake and beyond.

vault-v2

v2 implementation of the Yield Protocol debt vaults

abridge

Fast & Lightweight Zola Theme

BosqueCore

ProofNet

Benchmark for undergraduate-level formal mathematics

forge-damn-vulnerable-defi

uniswap-v3-oracles

Trustless oracle of historical Uniswap v3 TWAP using ZK

v3-core-public

nmt-rs

An implementation of a namespaced merkle tree in Rust.

benchmarks

Symbolic Execution Benchmarks for Ethereum Smart Contracts

ethers-literal

ICVM-lazy

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

nootropicswiki