This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.

TensorZero is an open-source stack for industrial-grade LLM applications. It unifies an LLM gateway, observability, optimization, evaluation, and experimentation.

Memory layer for AI Agents. Replace complex RAG pipelines with a serverless, single-file memory layer. Give your agents instant retrieval and long-term memory.

A Coq library for Homotopy Type Theory

Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.

Reference implementation of Anoma

Main repository for the Linera protocol