Git repository browser

Name	Description	Idle	Links
Dissertation	My PhD Dissertation, 'The persistence of space: Formalizing ...	7 months	summary log tree
Lecture-notes-Biblical-Hebrew-verbal-system	Lecture notes on the Biblical Hebrew verbal system.	2 years	summary log tree
abc-machine	Clean port of the original (Koopman 1990) ABC machine specif...	5 years	summary log tree
aoc	Advent of Code (https://adventofcode.com) solutions.	3 years	summary log tree
brainfuck	Brainfuck interpreter in Clean	7 years	summary log tree
c	Improved C interface for Clean	7 years	summary log tree
camilstaps.nl	Personal homepage.	9 weeks	summary log tree
coq-commands-counter	JavaScript tool to count commands used in a Coq script	7 years	summary log tree
crosswords	Crossword generator tool	7 years	summary log tree
cv	My curriculum vitae.	3 days	summary log tree
dotfiles	My configuration files.	4 months	summary log tree
fuspel	Simple functional programming language, rewriting an AST dur...	4 years	summary log tree
gitolite-admin	Gitolite administration	15 months	summary log tree
iclean	Clean REPL	5 years	summary log tree
iclm	Interactive Clean Make	4 years	summary log tree
logic	Logic toolbox in Clean	7 years	summary log tree
luo-parsetrainer	A web app to practice the Ancient Greek verb. See https://lu...	3 years	summary log tree
maildir-stats	Maildir statistics	6 years	summary log tree
password-store	My passwords.	10 days	summary log tree
plotasn.py	A small python program to plot the balances of ASN bank acco...	2 days	summary log tree
procmail-rules	Mail filters.	5 weeks	summary log tree
project-ideas	Ideas for future projects.	5 years	summary log tree
projecteuler	Solutions for Project Euler. See https://projecteuler.net/.	5 years	summary log tree
projects	Unorganized academic projects.	2 months	summary log tree
pypride	Python 2/3 implementation of the PRIDE cipher	7 years	summary log tree
reviews	Book reviews.	4 years	summary log tree
rts-cheat-sheet	PDFs with mappings between ABC machine components and machin...	4 years	summary log tree
sil	Simple programming language, compiling to ABC	5 years	summary log tree
sjit-compiler	A stupid just-in-time compiler	5 years	summary log tree
smurf	Smurf interpreter in Clean	7 years	summary log tree
snug	A small functional programming language targetting the MIPS3...	20 months	summary log tree
turing-machines	Turing machines implementation in Clean	7 years	summary log tree
while	Clean While tools	7 years	summary log tree
yld	Study of the relationship between the stems of Biblical Hebr...	4 years	summary log tree