index
NameDescriptionOwnerIdle
dactylThe Dactyl keyboard powered by Arduino3 years
dodis-patrascu-thorupSOLE and LOSE encoding schemes4 years
dotfilesConfiguration files3 years
lca subset-of-C compiler5 months
portagePortage overlay for Gentoo - ebuilds by laumann23 months
session-typesSession Types for Rust3 weeks
zx50efSources for laumann.xyz5 weeks
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
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-12 09:04:19 +0000