Cairo is the first Turing-complete language for creating provable programs for general computation.

Taiko Alethia based rollup protocol 🥁

Reactive primitives for Ethereum apps

Authentication & payments on the web

Source code verification service for Ethereum smart contracts

TypeScript Interface for Ethereum

Start your Taiko node with a single command. 🌐

zkSnark circuit compiler

Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software.

Rust implementation of the Ethereum Virtual Machine.

Balancer frontend apps and packages. Includes the official Balancer web application.

Snapshot monorepo

Go implementation of the Ethereum protocol

Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.

Magic browser/React Native JavaScript SDK is your entry-point to integrating passwordless authentication inside your application.

Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.

A stateless trustless Starknet light client in Rust 🦀

Connext is a modular stack for trust-minimized, generalized communication between blockchains.

A TypeScript SDK for Snapshot

Emerging smart contract language for the Ethereum blockchain.

DePHY ID Solana monorepo

An Ethereum L1 Proposer Commitment Framework

Allora off-chain nodes publish inferences, forecasts, and losses to the Allora chain.

CLI interface for Axiom Proving API

0G Documentation

Balancer V2 Monorepo

Your AI second brain. Self-hostable. Get answers from the web or your docs. Build custom agents, schedule automations, do deep research. Turn any online or local LLM into your personal, autonomous …