A modern Swift SDK for OpenAI's Realtime API

World Chain monorepo

Fork of world-tree for use within worldscan

Extracting the semantics of Noir to Lean for formal verification

Multichain portfolio optimizer

Javascript toolkit to interact with the World ID protocol. Building the Identity SDK.

Herodotus Data Processor using SP1 as backend

Trade autonomously on Polymarket using AI Agents

Establishes a very simple zero-knowledge bridge to pass World ID ZKPs from wallets to verifying apps.

Building a modern alternative to Salesforce, powered by the community.

Rust binary responsible for signups on the orb

iris-mpc repository

hyrax-pcs-commit repository

Titanoboa-based vyper smart contract development framework

Local Multi-L2 Development Environment

provides metadata for chains

World ID state bridge for Linea

CLI for importing Sourcify verified contract to Etherscan in the simplest and fastest way

Reader for ICAO 9303 electronic machine readable travel documents.

Developer documentation for the Worldcoin SDK and World ID.

farcaster authorization

EasyCrypt: Computer-Aided Cryptographic Proofs

The Left Curve Stack

Android application to read passports with MRZ