~pounce/dotfiles

~pounce/awkbot

an IRC bot written in awk

~pounce/catt.vim

A basic vim plugin for catt

~pounce/tokio-walltime

A wallclock time crate for tokio

~pounce/Santorini

santorini player in lean 4

~pounce/EPIT2020

None

~pounce/demo

Lean 4 demo

~pounce/Sudoku

~pounce/aoc

Advent Of Code solutions in Haskell

~pounce/esalp

A pure-Rust operating system

~pounce/sorts

Naïve sorting algorithms for performance demonstration in C