The Best Library: a C STL replacement

A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.

Precision Time Protocol (PTP) for Wi-Fi

A modern supercompiler for call-by-value functional languages

Minecraft mod about drawing spells

drag & drop git editing from the comfort of your terminal

minimal cross-platform standalone C headers

From the Transistor to the Web Browser, a rough outline for a 12 week course

Rust String Libraries by mcyoung

sched_ext schedulers and tools

A collection of learning resources for curious software engineers

A Compiler Writing Journey

A cross-platform command line tool for parallelised content extraction and analysis.

Generate and auto-execute Python scripts in the cli

wifi packet sniffer

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Stevan Apter-style trees in C 17

mal - Make a Lisp

How to write a very simple JIT compiler

Murder is a pixel art ECS game engine.

Wrangling Untrusted File Formats Safely

Refinement Types for Rust

Translations of a simple C program to Rust.

Introduction to x86-64 assembly

The canonical spec for ulid

An OBD-II compliant car diagnostic tool

A curated list of project-based tutorials in C

Collection of Summer 2025 tech internships!

Intel One Mono font repository

A flexible way to handle safe area insets in JS. Also works on Android and Web!