All parts of Claude Code's system prompt, 18 builtin tool descriptions, sub agent prompts (Plan/Explore/Task), utility prompts (CLAUDE.md, compact, statusline, magic docs, WebFetch, Bash cmd, secur…

The Good Ethereum Assembler

This repository contains the setup from Paradigm CTF blockchain challenges based on the original repository. We've introduced new features, including a web interface and additional challenge setup.

Formalization of Mathematical Logic

huff-neo marks a new dawn for the once-abandoned huff-rs, breathing fresh life into its legacy.

An ultra-high performance and flexible EVM. Written in zig

Buttercup finds and patches software vulnerabilities

FFmpeg Assembly Language Lessons

c++ library for binary fuse filters, including a sharded filter

Reference implementation of Dragonbox in C++

Smart Contract Property-Based Testing Framework

An opcode-oriented language that compiles to the EVM

Build blazingly fast, tiny blockchain applications that run natively on all major desktop and mobile platforms.

An Ethereum Node built to run in Browser, Bun, Deno, and Node.js

Practical tips for building secure web3 projects at every stage, from the initial design to deployment

A modern proof language

🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠

Dapp, Seth, Hevm, and more

Symbolic and concrete EVM execution engine

Formal verification for Solidity smart contracts with the theorem prover Rocq. Ensure no vulnerabilities for your smart contracts.

📚 Freely available programming books

A curated list of zkVM, zero-knowledge virtual machine

Git commit hash miner

Tutorials about Ethereum

🙌 OpenHands: AI-Driven Development

ai-generated apps , full stack + generative UI

Solidity Merkle Mountain Range library

The new huff compiler, with improved codegen, label semantics & error messages.

Paper: Data Representation in Solidity