Thermite SIMD: Melt your CPU

Tock OS (RISC-V PMP Based) Runtime for Omniglot

Mutation testing tools for Rust

A tool for linting and extracting Y-ADRs from code.

A scrollable-tiling Wayland compositor.

gpu accelerated animated wallpaper engine for wayland

First Xilem GUI for the tiny salewski chess engine

The fastest and the most accurate file search SDK for AI agents, Neovim, Rust, C, Python, Bun and NodeJS

Specula: An agentic tool for finding deep bugs in system code using TLA+

A monolithic kernel in pure Rust, inspired by the Linux kernel

Slice and dice logs on the command line

Experimental JS parser-generator project.

🌒 Neovim plugin management inspired by Cargo, powered by luarocks

The official Rust SDK for the Model Context Protocol

Companion benchmarks for the article Branchless Rust: https://www.greyblake.com/blog/branchless-rust/

An agent-first decompiler designed to be refined by other agents. Kuna is written in Rust and was originally ported from Ghidra.

Compile-time Rust tensor graphs backed by IREE

Octos - Agentic Operating Systems

Feasibility spike: extracting Linux kernel Rust parsers (Binder) into LLBC via Charon, toward Lean 4 verification

I3DP Artifact for SOSP 2026: Automatic Inductive Invariant Inference for TLA+ Protocols

CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies

Agent skill: make LLMs write docs in ASD-STE100 Simplified Technical

The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".

AgentENV (AENV) is a distributed platform for running agent environments at scale.

KVerus: Scalable and Resilient Formal Verification for Rust Code

Lightweight type-1 Rust Hypervisor for edge devices

FFmpeg bindings for Rust.