Git repository browser

Name	Description	Idle	Links
academia
Dissertation	My PhD Dissertation, 'The persistence of space: Formalizing ...	13 months	summary log tree
projects	Unorganized academic projects.	12 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