Mathematics graduate with a passion for functional programming and dependent type theory. Software consultant by day.
mkElmDerivation. A nix flake for simplifiying the packaging of elm projects, inspired by elm2nix.
40mkSpagoDerivation. Reproducible PureScript projects with Nix
29npm-lockfile-fix. Add missing integrity and resolved fields to a package-lock.json file
21fonts. A nix flake that provides various fonts that aren't in nixpkgs.
18nixos-grub-themes. A Nix flake providing some Grub bootloader themes
15New-Emacs. Emacs Lisp
5elm-watch. A nix flake wrapper around elm-watch
3.dotfiles. My NixOS system flake and dotfiles.
2flake-templates. My Nix Flake Templates.
2purescript-fft-js. The fastest JS Radix-4/Radix-2 FFT implementation, in PureScript
1ElmSnapshot. Take a snapshot of an elm packages JSON
1cmake-practice. A place for me to practice CMake and Nix together
1My-Mathematics-Notes. TeX
1nix-cow. Small tutorial on how to add remote nix projects to nix system, declaratively.
1bemenuFocus. Small program to make bemenu appear on the correct monitor on Sway.
1pass-gui. A native gui for copying passwords to your clipboard
1