A stack-based array programming language

Defeat autocreated huge battleships

A Modern Fork of libBulletML

Compilation of BIOSes for various emulation platforms

A faithful and open-source remake of Cave Story's engine written in Rust

higan is a multi-system emulator focused on accuracy, preservation, and configurability.

MiSTer arcade core for Cave 68K arcade classics.

Free, cross-platform 2D game engine powered by Haxe and OpenFL

A rhythm game made with HaxeFlixel

Advanced cross-platform rhythm game focused on keyboard play

The collected works of F. W. Lawvere

being the materials for Summer 2013's course

being the materials for CS410 Advanced Functional Programming in the 2014-15 session

15-819 (Homotopy Type Theory) Lecture Notes

A collection of resources for learning type theory and type theory adjacent fields.

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

The high-performance and featureful Quil simulator.

papers of Per Martin Löf

Generalized syntax & semantics for universe hierarchies

Solutions for PLFA (Programming Language Foundations in Agda) exercise

An application for evaluating Westergaardian species counterpoint

Making the world safe for objects

mal - Make a Lisp

An Infinitely Large Napkin

Bootstrapping LISP in a Boot Sector

sectorforth is a 16-bit x86 Forth that fits in a 512-byte boot sector.

Modern C64 Forth

A C Compiler that fits in the 512 byte boot sector of an x86 machine

Welcome to my GitHub repository. I hope you enjoy solving these puzzles as much as I have enjoyed creating them.