index
NameDescriptionOwnerIdle
dactylThe Dactyl keyboard powered by Arduino5 years
dodis-patrascu-thorupSOLE and LOSE encoding schemes5 years
dotfilesConfiguration files4 years
lca subset-of-C compiler19 months
portagePortage overlay for Gentoo - ebuilds by laumann3 years
session-typesSession Types for Rust15 months
zx50efSources for laumann.xyz4 weeks
Forks & Mirrors
nofrils[fork] An extremely minimalist colorscheme, even opting out of the second L in f...5 years
senpai[mirror] Your everyday IRC student5 years
soju[mirror] A user-friendly IRC bouncer5 years
generated by cgit v1.2.3 (git 2.25.1) at 2026-09-08 15:41:55 +0000