My old Emacs configuration; not using Emacs anymore
UNMAINTAINED: Ansible documentation for GNU Emacs
My personal dotfiles for neovim, fish, git, tmux, etc.
My dear old Vim configuration. Outdated, see dotfiles for my current neovim config
Exercise solutions for various books
UNMAINTAINED! Display battery in Emacs Mode line
Keyring access for Haskell (unmaintained)
My personal blog, with Jekyll and Minimal Mistakes
📐 A flexible two-column Jekyll theme. Perfect for personal sites, blogs, and portfolios hosted on GitHub or your own server.
Optics library for Scala
A collection of personal Jupyter notebooks
OPAM tools from GNU Emacs
Access opvault password stores of 1password
Make Emacs' delete-by-moving-to-trash do what you expect it to do on OS X.
Provide information about Emacs packages
Play JSON Reads/Writes instances for refined types
Shapeless, the Good, the Bad, the Ugly
Example for DI with free monads with Cats in contrast to Cake pattern
My Scala template for sbt new
Property-based testing for Scala
The Scala Package Index
Generate XKCD 936 passwords
Additional functions for Zsh