Home
Vitae
Papers
Teaching
Blog
All Posts
academia
games
linux
memes
meta
musings
notes
open access
optimize everything
rambling
random
recipe
research
tinkering
tricks
tutorial
windows
wsl
Atom
SlackBuilds
I no longer run Slackware and no longer maintain these scripts.
Coq
Camlp5
HAVP