A deep dive into the ACPI.sys DPC latency problems on Asus ROG laptops

A linearizability checker for concurrent data structures

Studying Turing machines for the Busy Beaver Challenge

Compiler for a subset of C targeting the cpu I'm building

New register allocator designed as a successor to regalloc2

A FUSE filesystem for your Google calendar

Program startup and thread support written in Rust

SIMD base64 codecs

Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust

Synless is a language-agnostic tree editor.

🔗 Rust bindings to all things Neovim

A Git-compatible VCS that is both simple and powerful

Fuse filesystem that returns symlinks to executables based on the PATH of the requesting process.

reinforcement learning applied to simple board games

Guaranteed linear time parsing with typed parser combinators.

does nothing useful

Advent of Code solutions. Currently for 2023.

Advent of Code

Lightweight, open-source control tool for ASUS laptops and ROG Ally. Manage performance modes, fans, GPU, battery, and RGB lighting across Zephyrus, Flow, TUF, Strix, Scar, and other models.

Repo for working through Software Foundations: https://softwarefoundations.cis.upenn.edu/

Decision Theory Simulator

moved to https://codeberg.org/p2502/lspmux

A markdown terminal slideshow tool

Techniques and numbers for estimating system's performance from first-principles

Search program for edge lengths of hybrid Archimedean tilings of the hyperbolic plane