Manage your dotfiles across multiple diverse machines, securely.

A very shy little theme that hides the entire browser interface in the window border

First-class support for WebSockets within SvelteKit by attaching a WebSocket server to the global state.

A heavily documented xmonad config

Twitter-scale Mastodon implementation in 100x less code than Twitter wrote to build the equivalent

ADT support for Clojure

A functional effect and streaming system for Clojure/Script

Electric Clojure: full-stack differential dataflow for UI

An abstract-interpretation-based static analysis for inferring refinement types

Patch built-in python objects

XMonad™️. Widgets go brr.

ElKowars wacky widgets

Context switch for XMonad: switch between sets of workspaces

A powerful status bar for Linux desktops

Instant Previews LaTeX snippets in Org-mode

A pdf-tools extension that provides continuous scrolling functionality

Detexify Backend written in Haskell

⚡ A Fast, Extensible Progress Bar for Python and CLI

Emacs with Moe Visual Effects!

POSIX Shell script to quickly manage monitors on X

An Emacs framework for the stubborn martian hacker

My literate configuration for doom-emacs

🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects

💥💻💥 A data-parallel functional programming language

Leo Blog

Rudimentary Roam replica with Org-mode

Bringing VIM philosophy to window management

An automated deductive program verifier.

Mathematical Components