Programming

Scheme

Lambda Library - A library of functions inspired by the lambda calculus. See Church, "The Calculi of Lambda Conversion".

SICP - Solutions to exercises from SICP.

Discrete Mathematics - Functions inspired by Norman Biggs' "Discrete Mathematics".

C

16-bit Hack emulator - Here is a 16-bit Hack emulator, written in C. The documentation is incomplete.

[FSF Associate Member] [FSFE Associate Member]