Tony Zorman
slotThe
Postdoc in mathematics, Haskell and Emacs devotee, @xmonad maintainer. I like free software. More at gitlab/slotThe and codeberg/slotThe
Languages
Loading contributions...
Top Repositories
Turns the button on the Lamy Pen EMR into an eraser on the reMarkable – updated for >= 3.6.x.
Primitive package-vc integration for use-package
Functional command-line JSON processor with a bidirectional type system
A flake for emacs-lsp-booster
Full source code of my dissertation
Repositories
93No description provided.
The xmonad.org website
Github Flavored Markdown Back-End for Org Export Engine
My custom build of Iosevka
Open-source keyboard firmware for Atmel AVR and Arm USB families
Turns the button on the Lamy Pen EMR into an eraser on the reMarkable – updated for >= 3.6.x.
A flake for emacs-lsp-booster
Full source code of my dissertation
A better Emacs *help* buffer
Primitive package-vc integration for use-package
Query the Stundentenwerk API from inside your terminal! // GitHub Mirror
Advent of Code—now with even more languages!
A tiny clipboard manager
Simple TOTP generator in BQN
Word-based input of BQN symbols
Functional command-line JSON processor with a bidirectional type system
Versatile typeface for code, from code.
Minor mode for entering and highlighting BQN symbols as words
No description provided.
Personal LaTeX style files
A variant of the metropolis LaTeX Beamer theme
Generate citation data for PDF files from the arXiv // GitHub mirror
Miscellaneous small BQN programs
Haskell pretty printer
Utility functions for the html-parse package. // GitHub Mirror
Slides for my PhD defence
Dmenu wrapper for fun and profit! // GitHub Mirror
Vim's ci/co in Emacs!
No description provided.
Anki add-on to align LaTeX images to baseline