The home of the CUE language! Validate and define text-based and dynamic configuration

ATLAS Autoformalized Textbook Library At Scale

Rust multi‑backend OCR/VLM engine (DeepSeek‑OCR-1/2, PaddleOCR‑VL, DotsOCR) with DSQ quantization and an OpenAI‑compatible server & CLI – run locally without Python.

Property-based testing for web and terminal UIs

langcc: A Next-Generation Compiler Compiler

🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platfor…

🧟 Inject bugs and see if your tests catch them!

An implementation of the IETF QUIC protocol

A requirements traceability tool

property testing and verification front-end for Rust

A static verifier for Rust, based on the Viper verification infrastructure.

Verified Rust for low-level systems code

A suite of Rust libraries for secure multi-party computation.

Big & Small LLMs working together

Kani Rust Verifier

Apache DataFusion SQL Query Engine

Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.

The Universal Storage Engine

Next-Gen Big Data File Format

Run Graph Queries with Lance

Python tool for converting files and office documents to Markdown.

The Feldera Incremental Computation Engine

An execution engine for Wireshark-like filters

Userspace WireGuard® Implementation in Rust

A TypeScript library for Oblivious Pseudorandom Functions

Cloudflare's Rust service foundations library.

A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

Crucible is a library for symbolic simulation of imperative programs

Ghostty for the web with xterm.js API compatibility