index
NameDescriptionOwnerIdle
dactylThe Dactyl keyboard powered by Arduino3 years
dodis-patrascu-thorupSOLE and LOSE encoding schemes4 years
dotfilesConfiguration files3 years
lca subset-of-C compiler24 hours
portagePortage overlay for Gentoo - ebuilds by laumann16 months
session-typesSession Types for Rust4 years
zx50efSources for laumann.xyz3 days
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 2024-12-21 15:44:15 +0000