Git repository browser

Name	Description	Idle	Links
academia
Dissertation	My PhD Dissertation, 'The persistence of space: Formalizing ...	4 months	summary log tree
projects	Unorganized academic projects.	2 months	summary log tree
reviews	Book reviews.	4 years	summary log tree
yld	Study of the relationship between the stems of Biblical Hebr...	4 years	summary log tree
archived
coq-commands-counter	JavaScript tool to count commands used in a Coq script	7 years	summary log tree
fuspel	Simple functional programming language, rewriting an AST dur...	4 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	4 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...	4 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
crosswords	Crossword generator tool	7 years	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
rts-cheat-sheet	PDFs with mappings between ABC machine components and machin...	4 years	summary log tree
smurf	Smurf interpreter in Clean	7 years	summary log tree
turing-machines	Turing machines implementation in Clean	7 years	summary log tree
while	Clean While tools	7 years	summary log tree