index
NameDescriptionOwnerIdle
dactylThe Dactyl keyboard powered by Arduino3 years
dodis-patrascu-thorupSOLE and LOSE encoding schemes4 years
dotfilesConfiguration files3 years
lca subset-of-C compiler2 months
portagePortage overlay for Gentoo - ebuilds by laumann20 months
session-typesSession Types for Rust4 years
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-04-22 19:32:14 +0000