A verifier for the Metamath Zero proof language.

A library for working with Pijul repositories in Go

Pijul integration for Emacs’ VC version control interface.

Half-completed crypto experiments in Haskell.

{fi,}{sh,{ni,}x{es,}}

This is my flakeless configuration for macOS using nix

A sane network share/cloud cluster file system

Little scripts to aid the grading process