Git repository browser

Name	Description	Idle	Links
camilstaps.nl	Personal homepage.	5 days	summary log tree
dotfiles	My configuration files.	3 months	summary log tree
gitolite-admin	Gitolite administration	30 hours	summary log tree
academia
Dissertation	My PhD Dissertation, 'The persistence of space: Formalizing ...	13 months	summary log tree
projects	Unorganized academic projects.	14 days	summary log tree
reviews	Book reviews.	5 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	7 years	summary log tree
pypride	Python 2/3 implementation of the PRIDE cipher	8 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.	3 weeks	summary log tree
game-bots	Bots to solve puzzles / play games.		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.	12 days	summary log tree
plotasn.py	A small python program to plot the balances of ASN bank acco...	7 months	summary log tree
procmail-rules	Mail filters.	2 months	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
wildplukwijzer-gpx	Script to export data from the wildplukwijzer.nl to OsmAnd G...		summary log tree
teaching
Lecture-notes-Biblical-Hebrew-verbal-system	Lecture notes on the Biblical Hebrew verbal system.	3 years	summary log tree