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