indexabout
NameDescriptionIdleLinks
snugA small functional programming language targetting the MIPS3...15 monthssummarylogtree
plotasn.pyA small python program to plot the balances of ASN bank acco...5 weekssummarylogtree
sjit-compilerA stupid just-in-time compiler 4 yearssummarylogtree
luo-parsetrainerA web app to practice the Ancient Greek verb. See https://lu...2 yearssummarylogtree
aocAdvent of Code (https://adventofcode.com) solutions. 2 yearssummarylogtree
reviewsBook reviews. 4 yearssummarylogtree
brainfuckBrainfuck interpreter in Clean 7 yearssummarylogtree
icleanClean REPL 4 yearssummarylogtree
whileClean While tools 7 yearssummarylogtree
abc-machineClean port of the original (Koopman 1990) ABC machine specif...4 yearssummarylogtree
crosswordsCrossword generator tool 7 yearssummarylogtree
gitolite-adminGitolite administration 11 monthssummarylogtree
project-ideasIdeas for future projects. 5 yearssummarylogtree
cImproved C interface for Clean 7 yearssummarylogtree
iclmInteractive Clean Make 4 yearssummarylogtree
coq-commands-counterJavaScript tool to count commands used in a Coq script 7 yearssummarylogtree
Lecture-notes-Biblical-Hebrew-verbal-systemLecture notes on the Biblical Hebrew verbal system. 20 monthssummarylogtree
logicLogic toolbox in Clean 7 yearssummarylogtree
procmail-rulesMail filters. 10 dayssummarylogtree
maildir-statsMaildir statistics 6 yearssummarylogtree
DissertationMy PhD Dissertation, 'The persistence of space: Formalizing ...7 weekssummarylogtree
dotfilesMy configuration files. 5 monthssummarylogtree
cvMy curriculum vitae. 3 monthssummarylogtree
password-storeMy passwords. 2 monthssummarylogtree
rts-cheat-sheetPDFs with mappings between ABC machine components and machin...4 yearssummarylogtree
camilstaps.nlPersonal homepage. 8 dayssummarylogtree
pypridePython 2/3 implementation of the PRIDE cipher 7 yearssummarylogtree
fuspelSimple functional programming language, rewriting an AST dur...4 yearssummarylogtree
silSimple programming language, compiling to ABC 4 yearssummarylogtree
smurfSmurf interpreter in Clean 7 yearssummarylogtree
projecteulerSolutions for Project Euler. See https://projecteuler.net/. 4 yearssummarylogtree
yldStudy of the relationship between the stems of Biblical Hebr...4 yearssummarylogtree
turing-machinesTuring machines implementation in Clean 7 yearssummarylogtree
projectsUnorganized academic projects. 14 dayssummarylogtree