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