index
NameDescriptionOwnerIdle
dactylThe Dactyl keyboard powered by Arduino4 years
dodis-patrascu-thorupSOLE and LOSE encoding schemes4 years
dotfilesConfiguration files3 years
lca subset-of-C compiler7 months
portagePortage overlay for Gentoo - ebuilds by laumann2 years
session-typesSession Types for Rust2 months
zx50efSources for laumann.xyz3 months
Forks & Mirrors
nofrils[fork] An extremely minimalist colorscheme, even opting out of the second L in f...4 years
senpai[mirror] Your everyday IRC student4 years
soju[mirror] A user-friendly IRC bouncer4 years
generated by cgit v1.2.3 (git 2.25.1) at 2025-08-31 03:26:05 +0000