Pinned Loading

1. blog blog Public

   A space for logging my workings & thoughts.

   Nix

2. rat-ion rat-ion Public

   ration your rationals with Rat-Ion: A Rust library for encoding continued fraction integer sequences

   Rust

3. heart-of-the-dice heart-of-the-dice Public

   A simple UI tool for calculating D&D dice roll probabilities. Hosted (very slowly) at PythonAnywhere.com

   Python

4. advent-of-code advent-of-code Public

   My solutions to AoC problems.

   Roc

5. sample-variance-proofs sample-variance-proofs Public

   A proof supporting the definition of an alternate estimator of variance that has a lower MSE than the sample variance.

   Lean

6. obsidian-fast-mather obsidian-fast-mather Public

   An Obsidian plugin for quickly writing LaTeX via text expansion.

   TypeScript