Thalia Archibald

regexp-museum. A museum of historical and modern regular expression engines, showing their development and influence

notes. A notebook on compilers, programming languages, and other topics.

wsjq. Whitespace interpreter and debugger in jq

browser. Parsing library for Firefox and Chromium user data

gocipher. A Go library implementing many classical ciphers

bfcoq. Brainfuck compiler in Coq

bfrs. An optimizing compiler for Brainfuck.

nebula. Compiler for the stack-based Whitespace language with LLVM back end.

transup. Decoding of Blu-Ray PGS (sup) subtitle format

brick-apis. A collection of APIs for BrickLink, Brickset, and LEGO

lazy-wspace. A Whitespace compiler and interpreter with lazy semantics

unity-termsofservice. Mirror of Unity's terms of service

urlhero. Link resolver for current and defunct URL shorteners

deque. Reusable double-ended queue iterable container implemented as a circular array.

wscoq. Whitespace implementation in Coq

re1-rust. A port of re1, Russ Cox’s simple, virtual machine–based regular expression engine

ws-challenges. Solutions for Project Euler, Advent of Code, and Rosetta Code in Whitespace

coq-turing-typeclass. A proof that Coq typeclass resolution is Turing-complete

rust-regex. My tree for contributing to Rust regex. An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.

compiler-notes. Notes and readings on compilers

vscode-terminal-colors. VSCode default color schemes for various terminals

adobe-cred. Analysis of the 2013 Adobe users.tar.gz dump

yspace. Work-in-progress toolchain for the Whitespace programming language

wsbf. Whitespace interpreter in Brainfuck

bfcorpus. Collection of Brainfuck programs written by various authors

EightBitTunes. Plays 8bit tunes on an Arduino from ABC Notation format songs.

rust. My tree for contributing to Rust. Empowering everyone to build reliable and efficient software.

mt19937-archive. Reconstructed revision history for the MT19937 Mersenne Twister PRNG by Makoto Matsumoto and Takuji Nishimura

foones-eightfold. A dependently typed esolang by Pablo Barenbaum. This repo restores the full revision history.

re1. Regexp code for https://swtch.com/~rsc/regexp/

respace. An interpreter and assembler for the Whitespace language written in C++

Papercraft-Pig-Generator. This is a generator made for pixelpapercraft.com that creates a papercraft pig design from a minecraft texture file.

xmlang. A functional programming language with XML syntax

cybf-archive. Archive of CyBF, a language that compiles to Brainfuck by Cybis

wslib. Library written in Whitespace, including arbitrary-precision math and I/O utilities

codesearch. Fast, indexed regexp search over large file trees

antirez-stringmatch. The Tcl-style glob matcher from Redis and Jim by antirez

nebula2. Toolchain for the Whitespace programming language

unix-1972-tapes. Analysis and parsing of the Unix s1 and s2 tapes from 1972