Starred repositories
Native space switching on macOS with no animation
Tiled scrollable window manager for MacOS
A C++20 library for fast serialization, deserialization and validation using reflection. Supports JSON, Avro, Boost Serialization, BSON, Cap'n Proto, CBOR, Cereal, CSV, flexbuffers, msgpack, parque…
The "Missing GitHub Status Page" -- a Flat Data attempt at historically documenting GitHub statuses
Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.
Read/sync your IMAP mailboxes (python3)
Official home of the DB Browser for SQLite (DB4S) project. Previously known as "SQLite Database Browser" and "Database Browser for SQLite". Website at:
Algorithm powering the For You feed on X
A library to display rich (Markdown) snippets and texts in a rust terminal application
Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need
A double-to-string conversion algorithm based on Schubfach and xjb
Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
Development repository for the CodeMirror editor project
Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
NativeLink is a Nix-powered, open source, high-performance build cache and remote execution server, compatible with Bazel, Soong, Pants, Buck2, Reclient, and other RE-compatible build systems. It o…
BuildBuddy is an open source Bazel build event viewer, result store, remote cache, and remote build execution platform.
A programming language that is higher level than Rust but lower level than Go. Someday, anyways.
An extremely fast Python type checker and language server, written in Rust.
AeroSpace is an i3-like tiling window manager for macOS
A fast type checker and language server for Python
A browser extension for automating your browser by connecting blocks
A time traveling resource monitor for modern Linux systems