Retro groove color scheme for Vim

Safe compile-time parallelization of for-comprehensions for Scala 3

Example language server (LSP) implementation for a toy language

rust raft with improvements

minimal-emacs.d - A Customizable Emacs init.el and early-init.el for Better Defaults and Optimized Startup, intended to serve as a solid foundation for your vanilla Emacs configuration | Emacs Star…

Alternative algorithm for algebraic subtyping.

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

A formalization of the Banach-Tarski theorem in Lean

Obsidian Notes for Emacs

Rust read/write support for GPS Exchange Format (GPX)

A Google Chrome browser extention for Duolingo that allows users to read Chinese as it written in Taiwan and Hong Kong whilst learning Chinese.

A graphical frontend for exploring your org-roam Zettelkasten

Nix wrapper for SBT

Algebraic effects in the Bluefin effect system

Ghosts of Departed Proofs

GitHub Actions self-hosted arm64 macOS runners

Play/learn/work with me

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

The open-source CapCut alternative

Emacs Extension for Habitica

Tree Proof Generator

Generate Haskell code from a type

A gently curated list of companies using verification formal methods in industry

Generate Nix expressions which build Gradle-based projects.

Multi-tenant Nix Binary Cache

An unofficial Copilot plugin for Emacs.

Community guide to using YubiKey for GnuPG and SSH - protect secrets with hardware crypto.

This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

A Lean companion to Analysis I

Chess in Lean 4