Use literate Agda in your Jekyll website!

Agda interaction pluging for neovim

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

papers of Per Martin Löf

Private front-end for Reddit

The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)

A pandoc filter to process math with katex

mal - Make a Lisp

A data visualization library for Racket.

Command-line program to download videos from YouTube.com and other video sites

An operating system written in C

pwntools on Ruby!

ELF parser library implemented in pure Ruby!

A dynamic language and bytecode vm

Bootloader for macOS, Windows and Linux in UEFI and in legacy mode

Master programming by recreating your favorite technologies from scratch.

oswald editor

A simple X application that shows mpd album art. Mirror of https://git.depsterr.com/mpdart

A modern customization framework for Team Fortress 2

A rendition of everyone's favorite 1995 Microsoft operating system for Linux.

Mirror of JONESFORTH

Mirror of JONESFORTH

A custom launcher for Minecraft that allows you to easily manage multiple installations of Minecraft at once

weird shell scripts that i write

A fantasy console inspired by the Nintendo Gameboy!

Some snippets of code written in Plan 9's rc shell.

An implementation of brainfuck in Plan 9's rc.

Extremely simple su utility

A minimal POSIX shell

A dwm build with preprocessor directives to decide which patches to include during build time