index
NameDescriptionOwnerIdle
dactylThe Dactyl keyboard powered by Arduino3 years
dodis-patrascu-thorupSOLE and LOSE encoding schemes4 years
dotfilesConfiguration files3 years
lca subset-of-C compiler10 hours
portagePortage overlay for Gentoo - ebuilds by laumann16 months
session-typesSession Types for Rust4 years
zx50efSources for laumann.xyz3 months
Forks & Mirrors
nofrils[fork] An extremely minimalist colorscheme, even opting out of the second L in f...3 years
senpai[mirror] Your everyday IRC student3 years
soju[mirror] A user-friendly IRC bouncer3 years