Building blocks of a Circle STARK verifier in Bitcoin script

Type safe mocking extensions for Vitest

JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.

Terminal GUI for Ethereum smart contracts

🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs

The Abstraction and Reasoning Corpus

🌌 A network agnostic DHT crawler, monitor, and measurement tool that exposes timely information about DHT networks.

Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance

Ethereum Portal Network TypeScript implementation

An Ethereum portal client: a json-rpc server with nearly instant sync, and low CPU & storage usage

A Solidity code search tool with built-in static analysis detection

Ethereum Testnet Testing Tool

Singleton factory used by Safe related contracts

Resources on EIP-3074

Awesome secure by default libraries to help you eliminate bug classes!

Efficient Type Driven Smart Contract Interactions

Benchmarking JS web framework SSR performance

Write a recipe in minutes to convert your dApp to a zkApp.

The Ethereum Rollup Improvement Proposal repository

Devika is an Agentic AI Software Engineer that can understand high-level human instructions, break them down into steps, research relevant information, and write code to achieve the given objective…

https://docs.zerodev.app/

Ethereum network monitoring with collection clients and a centralized server for data pipelining.

Ethereum Attestation Service https://attest.org