Demo for high-performance type theory elaboration

Bash Line Editor―a line editor written in pure Bash with syntax highlighting, auto suggestions, vim modes, etc. for Bash interactive sessions.

A fast, bump-allocated virtual DOM library for Rust and WebAssembly.

Buss-boys helhjärtade försök att kirra lutningsgivare, ett stabilt inte F i gymnasiearbete 2017-2018.

Code for tutorials posted on my blog.

Master the command line, in one page