Pinned Repositories
automata
Some automata from A New Kind of Science.
b07lab1
cscb07 lab 1
bookmaker
A python script for making bindable booklets out of pdfs.
Coxeter
An attempt at making interactive geometry software
kalloc
Custom malloc implementation
langs
Experiments in PLT
mabel
A literate programming tool.
oktagonia.github.io
sky
An interpreter for the untyped λ-calculus.
stem
Semantic Templating Engine
oktagonia's Repositories
oktagonia/oktagonia.github.io
oktagonia/stem
Semantic Templating Engine
oktagonia/automata
Some automata from A New Kind of Science.
oktagonia/b07lab1
cscb07 lab 1
oktagonia/bookmaker
A python script for making bindable booklets out of pdfs.
oktagonia/Coxeter
An attempt at making interactive geometry software
oktagonia/kalloc
Custom malloc implementation
oktagonia/langs
Experiments in PLT
oktagonia/mabel
A literate programming tool.
oktagonia/sky
An interpreter for the untyped λ-calculus.