zkID is a team committed to advancing ZKP standards and driving privacy-focused solutions in digital identity.

SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.

a multi-language bindings generator for rust

Contexts Optical Compression

The best ChatGPT that $100 can buy.

The financial transactions database designed for mission critical safety and performance.

🚀 Efficient implementations of state-of-the-art linear attention models

Rembg is a tool to remove images background

A high-throughput and memory-efficient inference and serving engine for LLMs

Localised storytelling

An Open Source implementation of Notebook LM with more flexibility and features

A Noir implementation of Stealthdrop using PLUME nullifiers

Core contracts for the Agora Governor 🏛

Prediction-Encoded Pixels - a tiny yet powerful single-header pixel art compression method that focuses on size

Extended experiments of "Growing Neural Cellular Automata" https://distill.pub/2020/growing-ca/

egraphs + datalog!

branch of egg with alternative equality saturation search algorithms. egg is a flexible, high-performance e-graph library.

egg is a flexible, high-performance e-graph library

Storage solution with proofs and secondary indices.

Hierarchical Reasoning Model Official Release

zkSnark circuit compiler

world-tree repository

Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

An implementation of Shazam's song recognition algorithm.

Build pixel isometric graphics with HTML5 canvas