Git repository browser

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