re-xyr
“Of no particular qualities of note” ‧ pfp src @linglvz
Carnegie Mellon UniversityGreat Hakurei Barrier
Pinned Repositories
aya-dev
A proof assistant and a dependently-typed language
plutus-extra
Helper libraries for Plutus.
aqn
Toy dependent type elaboration via NbE
avail
Low-overhead effect management for concrete monads
cleff
Fast and concise extensible effects
hemerocallis
Resume (template) written in Typst
hina
Very simple, explicit parameters-only dependent type elaborator.
speff
Fast higher-order effect handlers with evidence passing
vuepress-theme-chronicle
Legible vuepress blog theme that resembles book-like reading experience.
taichi
Productive, portable, and performant GPU programming in Python.
re-xyr's Repositories
re-xyr/cleff
Fast and concise extensible effects
re-xyr/avail
Low-overhead effect management for concrete monads
re-xyr/speff
Fast higher-order effect handlers with evidence passing
re-xyr/hemerocallis
Resume (template) written in Typst
re-xyr/hina
Very simple, explicit parameters-only dependent type elaborator.
re-xyr/vuepress-theme-chronicle
Legible vuepress blog theme that resembles book-like reading experience.
re-xyr/rec-smallarray
SmallArray-based extensible records for small-scale fast reads
re-xyr/aqn
Toy dependent type elaboration via NbE
re-xyr/taichi
Parallel programming for everyone.
re-xyr/availability-old
The old availability library
re-xyr/cabal
Official upstream development repository for Cabal and cabal-install
re-xyr/checker
Scraps in the midst of self-teaching 15317 (constructive logic)
re-xyr/cut
~ Plain old document.
re-xyr/eff
Unusable Resource-dependent algebraic effects library in Idris 2.
re-xyr/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
re-xyr/plutarch-core
Plutarch 2.0
re-xyr/plutus-specification-language
re-xyr/publish-extensions
Scripts for publishing VS Code extensions to open-vsx.org
re-xyr/stack-templates
re-xyr/tasty
Modern and extensible testing framework for Haskell
re-xyr/tide
🌊 The ultimate Fish prompt.
re-xyr/vscode-cabal-fmt
VS Code integration of cabal-fmt