A property-based testing library for the LLM era

Blob stream

A remote shell that outlives its connection

A remote shell that outlives its connection

Lore is a next-generation, open source version control system

Tau Coding Agent - like Pi, but twice as much

The production-scale datacenter profiler (C/C++, Go, Rust, Python, Java, NodeJS, .NET, PHP, Ruby, Perl, ...)

Always-on profiler for Rust designed for production

Open-source chemistry structure editor focused on CDXML fidelity and Office workflows.

Zero-copy, content-addressed Rust build cache for Rust, C/C++ and more. No copies, no wasted disk

Ghidra is a software reverse engineering (SRE) framework

Open-source e-reader firmware

Used to generate and compare bounded timestamps.

Sample projects used in part of the evaluation for the Attestable Builds paper.

This library provides the definition of the enclave image format (EIF) file used in AWS Nitro Enclaves.

Elastic Fabric Adapter (EFA) data path interfaces and implementations

High-assurance, high-performance embedded KV store in Systems Lean / Nix (wip)

A TTS that fits in your CPU (and pocket)

MCP server for agents to explore rust docs, analyze source code, and build with confidence

Verified Rust for low-level systems code

TurboSHAKE: A Family of Xofs based on round reduced ( 12 rounds ) Keccak[1600] Permutation

Hand-rolled Rust Parquet codec with hand-tuned SIMD on AArch64 (NEON) and x86_64 (AVX2) for analytical workloads. Foundation crate for ematix-flow.

A modern C standard library

Terraform plan analyzer using Amazon Bedrock

A novel take on lossless data compression

An async-first Rust library for reading git repositories

>99.5% KaTeX syntax coverage. LaTeX math renderer in pure Rust. No JavaScript, no WebView, no DOM. One Rust core → iOS, Android, Flutter, Web, PNG. C ABI · WASM · Server-side PNG/SVG.

repo manager wannabe?

Print path to local Rust dependencies