Emacs support for F*

An introduction to programming language theory in Agda

Tutorial about programming Elisp and Emacs text editor customization.

Programming Language Theory λΠ

Emacs major mode for editing Happy filles

2D physics and rendering for apecs

Comparing many FRP implementations by reimplementing the same toy app in each.

OpenGL-based rendering engine with embedded language that compiles to GLSL.

A full implementation of the Scheme programming language for the Haskell Platform.

A free and open-source Touhou Project fangame

stb single-file public domain libraries for C/C++

g2o: A General Framework for Graph Optimization

Common Lisp Machine Learning Library

Notes and exercise attempts for "An Introduction to Statistical Learning"