daylily

cleff. Fast and concise effect handlers

avail. Low-overhead effect management for concrete monads

speff. Fast, experimental effect handlers with delimited control

hemerocallis. Resume (template) written in Typst

hina. Very simple, explicit parameters-only dependent type elaborator.

inkclip. Wear a screen on your head

vuepress-theme-chronicle. Legible vuepress blog theme that resembles book-like reading experience.

rec-smallarray. SmallArray-based extensible records for small-scale fast reads

nightcord.at. Leave a fragment of your thoughts in the empty sekai

aqn. Toy dependent type elaboration via NbE

lilynet. Lilynet infra orchestration