Unix-like OS in Rust inspired by xv6-riscv

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

A very very very very very very very long interrupt

Analysis of one crazy segfault in ripgrep

Data Plane Development Kit

Racing to the bottom of CPU performance

STOKE: A stochastic superoptimizer and program synthesizer

Test and benchmark suite for sort implementations.

ABC: System for Sequential Logic Synthesis and Formal Verification

📈 Polynomial Approximations using the Remez Algorithm

Formally verified equality saturation engine in Lean 4, parameterized by typeclasses. OptiSat provides a domain-agnostic e-graph with 248 theorems

Verified Optimizing Compiler for Cryptographic Primitives

Nix overlay for Lean 4, and lake2nix

Floating-Point Printing and Parsing

A fast floating-point-to-string conversion library for C and C++

My nvim config

Zero-config, fast `io_uring`-based HTTPS server.

A high-throughput parser for the Zig programming language.

Mobile and Web client for Codex and Claude Code, with realtime voice, encryption and fully featured

Deno skills for AI coding assistants. Covers using Deno as a package manager and runtime, migrating from npm/yarn/pnpm/bun, Fresh, and Deno Deploy.

🗻 Log-structured, embeddable key-value storage engine written in Rust

Optimized implementations of various library functions for ARM architecture processors

🖥 A virtual Apple Macintosh with System 8, running in Electron. I'm sorry.

Unofficial description of the CUDA assembly (SASS) instruction sets.

Safe rust wrapper around CUDA toolkit

Rust bindings for the Python interpreter

Alternative rust compiler (re-implementation)

The UNIX System V Release 4 source code (i386)

Blob storage designed for huge amounts of random reads and small objects with constant latency