Unix pipes between devices

IP addresses break, dial keys instead. Modular networking stack in Rust.

An indirect control real-time strategy game about robot colonies

Minimal implementations for dependent type checking and elaboration

A very fast linker for Linux

1ML prototype interpreter

A modular module system by Xavier Leroy

A library for incremental computations

Semantic version control CLI. Entity-level diff, blame, graph, and impact analysis for code. 21 languages via tree-sitter.

Terminal emulator widget powered by ICED framework and alacritty terminal backend.

The Lobster Programming Language

Benchmarks for incremental computation libraries in rust

A graphing library for Control Flow Graphs

OpenBoard is a cross-platform interactive whiteboard application intended for use in a classroom setting.

It's a New Kind of Wrapper for Exposing LLVM (Safely)

LLVM IR in natural Rust data structures

Standalone C compiler/assembler/linker/libc for x86-64/aarch64/riscv64/wasm

codespelunker - CLI code search tool that understands code structure and ranks results by relevance. No indexing required with CLI, TUI, MCP and HTTP support.

The GitButler version control client, backed by Git, powered by Tauri/Rust/Svelte

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

i3-compatible Wayland compositor (sway) with a PaperWM layout like niri or hyprscroller

Simple, expressive & portable programming language for efficient scripting

The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)

The essential workbench for GCC engineers: navigate, visualize, and highlight GCC internals (.md, .rtl, .gimple) with ease.

A portable foreign-function interface library.

The Nature Programming Language

Rust bindings for NetworkManager over D-Bus.

Calculate UK capital gains tax from broker exports — supports Charles Schwab, Trading 212, Morgan Stanley, Sharesight, Vanguard, and Freetrade.

uBlock Origin filter list to hide YouTube Shorts