jeslie0
Mathematics graduate with a passion for functional programming and dependent type theory. Software consultant by day.
Waymont ConsultingGuildford, UK
Pinned Repositories
elm-watch
A nix flake wrapper around elm-watch
flake-templates
My Nix Flake Templates.
fonts
A flake giving access to fonts that I use, outside of nixpkgs.
mkElmDerivation
A nix flake for simplifiying the packaging of elm projects, inspired by elm2nix.
mkSpagoDerivation
Reproducible PureScript projects with Nix
New-Emacs
nixos-grub-themes
A Nix flake providing some Grub bootloader themes
npm-lockfile-fix
Add missing integrity and resolved fields to a package-lock.json file
UniAgda
My own HoTT library, written in Agda.
jeslie0's Repositories
jeslie0/mkElmDerivation
A nix flake for simplifiying the packaging of elm projects, inspired by elm2nix.
jeslie0/mkSpagoDerivation
Reproducible PureScript projects with Nix
jeslie0/New-Emacs
jeslie0/npm-lockfile-fix
Add missing integrity and resolved fields to a package-lock.json file
jeslie0/elm-watch
A nix flake wrapper around elm-watch
jeslie0/nixos-grub-themes
A Nix flake providing some Grub bootloader themes
jeslie0/.dotfiles
My NixOS system flake and dotfiles.
jeslie0/cmake-practice
A place for me to practice CMake and Nix together
jeslie0/ElmSnapshot
Take a snapshot of an elm packages JSON
jeslie0/flake-templates
My Nix Flake Templates.
jeslie0/jeslie0.github.io
My GitHub Pages site
jeslie0/My-Mathematics-Notes
jeslie0/all-the-icons.el
A utility package to collect various Icon Fonts and propertize them within Emacs.
jeslie0/closure-compiler-acocr
jeslie0/descartes
Haskell wrapper around Edinburgh University's descartes package.
jeslie0/elm-colourmaps
Colourmaps in elm
jeslie0/elm-dsp
Discrete signal processing in elm
jeslie0/elm-mandelbrot
The Mandelbrot set, rendered using Elm and HTML Canvas
jeslie0/elm-spa
A nix flake wrapper around elm-spa
jeslie0/emacs-lsp-booster-flake
A flake for emacs-lsp-booster
jeslie0/emacs-psci
Major mode for psci (purescript's repl)
jeslie0/flakes
A flake containing all my public flakes.
jeslie0/jeslie0
jeslie0/mohabatt.github.io
jeslie0/Project-Euler
My Project Euler solutions, in Haskell.
jeslie0/purescript-fft-js
The fastest JS Radix-4/Radix-2 FFT implementation, in PureScript
jeslie0/purescript-halogen-patternfly
jeslie0/speccy
jeslie0/texmf
My texmf folder, providing .sty and .bib files.
jeslie0/water-tracker