april
@cyberglot
About
PLT + compilers; haskell champion; agda newbie.
Skills & Technologies
Projects & Repositories
Recent public projects and repositories from this profile.
cyberglot
No project description available.
awesome-answers
Curated list of inspiring and thoughtful answers given on stackoverflow, quora, etc.
idris2-spacemacs
Emacs LispIt may work, use at your own discretion.
railroad-diagrams
:steam_locomotive: A small JS+SVG library for drawing railroad syntax diagrams, like on JSON.org. Now with a Python port!
dhall-rust
Maintainable configuration files, for Rust users
typst-collection
TypstA collection of typst stuff, including packages and templates.