Stars
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
Lecture notes for the course Sheaves in Topology, taught by Remy van Dobben de Bruyn at Utrecht University in the spring of 2024. Typing by Ben Mason, Marcel Masque and Splinter Suidman.
A webfont of the typeface used in Edward Tufte’s books.
A UniMath formalization of Richard Garner's refinement of Quillen's small object argument
An implementation of numbered theorem environments in typst
A markup-based typesetting system that is powerful and easy to learn.
A script that synchronizes PDFs of documents between a Remarkable and a computer folder that mirrors its file structure without cloud access
Notes from Andrew Blumberg's class on equivariant homotopy theory
Insert math delimiters in TeX, LaTeX and Org buffers
A graphical frontend for exploring your org-roam Zettelkasten
Rudimentary Roam replica with Org-mode
A libre lightweight streaming front-end for Android.
HoTTEST Summer School materials
🎧 mpris media player command-line controller for vlc, mpv, RhythmBox, web browsers, cmus, mpd, spotify and others.
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Highly accessible themes for GNU Emacs, conforming with the highest standard for colour contrast between background and foreground values (WCAG AAA).
More convenient key definitions in emacs
A modern commutative diagram editor for the web.
Emacs completion style that matches multiple regexps in any order
💫 vertico.el - VERTical Interactive COmpletion
Server for the ListenBrainz project, including the front-end (javascript/react) code that it serves and all of the data processing components that LB uses.
a MPD client which submits information about tracks being played to a scrobbler (e.g. last.fm)
📜 marginalia.el - Marginalia in the minibuffer