Croissant is a high-level format for machine learning datasets that brings together four rich layers.

DSPy: The framework for programming—not prompting—language models

Optimize prompts, code, and more with AI-powered Reflective Text Evolution

Official Code of Memento: Fine-tuning LLM Agents without Fine-tuning LLMs

Press shortcut → speak → get text. Free and open source. More local-first apps soon ❤️

RISC-V prover system for ZKsync OS

The hub for Ethereum-wide interoperability. A collective effort focused on defining common standards and system designs to keep the Ethereum ecosystem fast, unified, and diverse. Developer→User→Pro…

Chain Agnostic Improvement Proposals

Flipper Zero Unleashed Firmware

A curated list of awesome AVS resources

A template for easily building Autonomous Verified Services with WAVS.

Run your own AI cluster at home with everyday devices 📱💻 🖥️⌚

Tooling for creating collaborative SNARKs for Circom and Noir circuits.

Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols

CyChain is a non-collusive & massively decentralized access control network. This repository contains the working proof of concept to demonstrate it's scalability.

Building blocks of a Circle STARK verifier in Bitcoin script

The Lagrange network sends tasks to workers in order to generate zkproofs.

BitVM Groth16 Verifier Toolkit - WIP

Zeko: zk-Rollup for Mina, a succinct blockchain

Redstone is Optimism, with off-chain data availability.

A Trust-minimized Bitcoin Bridge

Verify blockchain data presented at popular websites using Light Client technology

Making client-side ZK proving on mobile simple.

High-speed Large Language Model Serving for Local Deployment

Get up and running with OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.