Tracing packets in the Linux networking stack & friends

Fast and standards compliant DNS zone parser

The development repository for LessWrong2 and the EA Forum, based on Vulcan JS

MapMatrix - A React application for synchronized multi-view map comparison. Mostly generated by AI.

A complete end-to-end pipeline for LLM interpretability with sparse autoencoders (SAEs) using Llama 3.2, written in pure PyTorch and fully reproducible.

Git Productivity Toolkit

an advanced reverse proxy server written in Go

Communicate Freely

Vimtutor Sequel - Advanced Vim Tutor Lessons

A mirror of https://git.sr.ht/~grego/sumtypes.h

Reporting system for You Need A Budget

Stateful load balancer custom-tailored for llama.cpp 🏓🦙

The Emmy Computer Algebra System.

AICI: Prompts as (Wasm) Programs

An ergonomic and safe syscall interception framework for Linux.

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

10x faster matrix and vector operations

800,000 step-level correctness labels on LLM solutions to MATH problems

Enabling tinygrad compatibility with the Google Edge TPU

libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + W…

A* algorithm C++ implementation.

Pure C implementation of Go channels.

Concurrency library for C (coroutines)

A fast TCP/UDP tunnel over HTTP

eBPF distributed networking observability tool for Kubernetes

lightweight connection pooler for PostgreSQL

A simple pleasant build system in Python.

Yet another nix cli helper

A secure container runtime with CRI/OCI interface