Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
Ephemeral Workspaces, durable shared history. LayerFS gives every agent a complete, writable filesystem Workspace over shared committed history, without copying the base. Agents work in parallel, commit what changed as deduplicated checkpoints, then branch, rewind or merge. Try it with LayerFS Γ DSH.
PGX β Lightweight Postgres for AI agents. Written in Rust. Thousands of isolated databases in one runtime. π
Rust CLI and MCP server that plans, applies and rolls back changes to an OWL ontology, reporting blast radius and emitting checkable Lean 4 proofs.
One open-source modeler for structures, heat and fluids, built from scratch in pure Rust: parametric part in, verified results out. Automatic all-hex and tet meshing, our own nonlinear implicit and explicit FEA, heat transfer and lattice Boltzmann CFD β every result checked against theory. For engineers and AI agents alike. Free, forever.
Programmable git infrastructure on top of object storage. Think turbopuffer for git. Open source alternative to Pierre (code.storage) and Cloudflare Artifacts.
Search infrastructure for AI
Flexible storage solutions for agent sessions.
Fast, small, and fully autonomous AI personal assistant infrastructure, any OS, any platform β deploy anywhere, swap anything π¦
Open-source, self-hostable payments infrastructure in Rust that connects to many payment processors and offers routing, vault, and reconciliation modules.
Fully transparent SSH, HTTPS, Kubernetes, database and RDP/VNC bastion/PAM that doesn't need additional client-side software
Restate is the platform for building resilient applications that tolerate all infrastructure faults w/o the need for a PhD.
Agent Desktop gives any agent reliable computer use on the desktop. Built with Rust, it sees any app's real UI structure through OS accessibility trees and operates it β refs stay stable and actions stay safe to retry, instead of guessing from pixels.
All Algorithms implemented in Rust
Polyglot document intelligence with a Rust core: extract text, metadata, images, tables, and structured data from 106 formats across 140 file extensions, plus code intelligence for 371 languages. Fifteen bindings, with CLI, REST API, and MCP server.
β‘ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!
ZeroFS: A log-structured filesystem for S3. ZeroFS serves S3-compatible buckets as POSIX filesystems over NFS and 9P, or as raw block devices over NBD.
An Axum-based Rust web framework for building and verifying web apps with Lean 4, featuring optional GPU acceleration and integrated development infrastructure for red-teaming and CI/CD.
Centaur is frontier, agentic infrastructure that you own. Centaur is like Claude Tag, but open source and on steroids.
π» Log-structured, embeddable key-value storage engine written in Rust
Open-source Pricing and Billing Infrastructure π Subscription management, Invoicing, Pricing, Usage-based billing, Cost limiting, Grandfathering, Experiments, Revenue analytics & Actionable insights
Better configuration for less
Super-fast Structured Outputs
Railway CLI
The programming language for agents
Tools for concurrent programming in Rust
Distributed stream processing engine in Rust
Fast, local-first web content extraction for LLMs. Scrape, crawl, extract structured data β all from Rust. CLI, REST API, and MCP server.
Get up and running with GLM-5.3-flash, DeepSeek, Gemma and other open source frontier models.
Accessibility infrastructure for UI toolkits
Draw chemical structures, build reaction schemes, and prepare figures with Rust.
High-performance data engine for AI and multimodal workloads. Process images, audio, video, and structured data at any scale
Graph data structure library for Rust.
Add a real-time analytics node to your operational database. Spice is a portable, accelerated SQL query, search, and LLM-inference engine in Rust for data-grounded AI apps and agents.
KCL Language Core and API
Communication infrastructure for the AI era β one binary, one broker, one storage layer, any protocol
Rust persistent data structures
Visualize/analyze a Rust crate's internal structure
A macro to generate structures which behave like bitflags
π¦ Fast, lightweight & schema-less search backend. An alternative to Elasticsearch that runs on a few MBs of RAM.
A fast and powerful log viewer and processor that converts JSON logs or logfmt logs into a clear human-readable format.
Parseable is an open source, unified infrastructure observability platform built in Rust on a data lake architecture. It tracks logs, metrics, traces, and events across apps, agents, and systems, reducing storage costs by up to 90% through columnar telemetry compression.
The Orchestration Engine To Deliver Self-Service Infrastructure β‘οΈ
This library provides implementations of many algorithms and data structures that are useful for bioinformatics. All provided implementations are rigorously tested via continuous integration.
Lightning fast data version control system for large repositories of data. Feels like git, pushes and pulls like oxen.
Tensorlake is a serverless runtime for sandboxes and deploying background agentic applications
ANOLISA (Agentic Nexus Operating Layer & Interface System Architecture) | Agentic OS with runtime, security, observability, and Tokenless response compression for lower token usage and cost.
A high-performance, thread-safe limit order book implementation written in Rust. This project provides a comprehensive order matching engine designed for low-latency trading systems, with a focus on concurrent access patterns and lock-free data structures.
The State Layer of Agent Sandbox
Next-gen compile-time-checked builder generator, named function's arguments, and more!
Rust cache structures and easy function memoization
Heapless, `static` friendly data structures
π¦ Microservices Status Page. Monitors a distributed infrastructure and sends alerts (Slack, SMS, etc.).
A static verifier for Rust, based on the Viper verification infrastructure.
Generating structured data from arbitrary, unstructured input.
Simple personal server to serve audiofiles files from folders. Intended primarily for audio books, but anything with decent folder structure will do.
Arena based tree π² structure by using indices instead of reference counted pointers
Fast, small, secure, local-first personal AI assistant infrastructure: one Rust binary for tools, memory, channels, providers, and sandboxed autonomy.
Lock-free SPSC FIFO ring buffer with direct access to inner data
Surfpool is where developers start their Solana journey.