re-xyr
Follow
-
lilynet Public
Lilynet infra orchestration
Python GNU General Public License v3.0 UpdatedSep 28, 2025 -
nightcord.at Public
[WIP] Leave a fragment of your thoughts in the empty sekai
Svelte UpdatedSep 16, 2025 -
-
hemerocallis Public
Resume (template) written in Typst
-
checker Public
Scraps in the midst of self-teaching 15317 (constructive logic)
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 24, 2025 -
speff Public
Fast higher-order effect handlers with evidence passing
-
cleff Public
Fast and concise extensible effects
-
avail Public
Low-overhead effect management for concrete monads
-
rec-smallarray Public
SmallArray-based extensible records for small-scale fast reads
-
cut Public
~ Plain old document.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 6, 2021 -
availability-old Public archive
The old availability library
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 5, 2021 -
aqn Public archive
Toy dependent type elaboration via NbE
-
vuepress-theme-chronicle Public archive
Legible vuepress blog theme that resembles book-like reading experience.
-
hina Public archive
Very simple, explicit parameters-only dependent type elaborator.