Lecture notes and exercises for the 2025 Simons Foundation workshop "Lean for Mathematicians"

Print your e-mail like it's 1989 📬

Vim-Like Keybindings for Aerc. Aerc is an exceptional terminal-based email client known for its efficiency and simplicity.

A minimalist design exploration

sync articles between remarkable and wallabag

HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms.

Address lookup tool for Notmuch in C using GLib and libnotmuch

BibTeX data source for nanoc.

Official gem repository: Ruby kernel for Jupyter/IPython Notebook

Moved to codeberg - Fuzzy picker & vim.ui.select implementation via fzy for neovim

Counting and uniform random generation of several classes of DAGs

Library providing printf-style formatted output routines with tex-like syntax support.

KDE Plasma add-on, that tiles your windows automatically and lets you manage them via keyboard, similarly to i3, Sway or dwm.

Terminal-based Mail User Agent

Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

Source code for the Mathematics in Lean tutorial.

Your One-Stop Publication Workbench

A dynamic tiling extension for KWin

VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.

Cosma is a document graph visualization tool. It modelizes interlinked Markdown files and renders them as an interactive network in a web interface.

Your bibliography on the command line

Some unsupported 'wrapper' scripts for pdfjam

Schedule MSMTP later

Boost.Graph Cookbook 1: Basics

Run a command waiting until it or one of its subprocessed have opened and closed a given file

Write LaTeX theorems in Pandoc Markdown

LaTeX.css is a CSS library that makes your website look like a LaTeX document

Documentation of Security Tokens and their uses.