Archives

Repositories

For research repositories, see the research page.

On git.leni.sh

• config: Shared configuration files for Emacs and Desktop environments
• OpenMusicScores (LilyPond): A collection of music engravings
• To The Stars (???): It is a mystery

On GitHub

• lean4-nix: Nix flake for Lean 4 including overlay

Stanford Notes