jeslie0
Mathematics graduate with a passion for functional programming and dependent type theory. Software consultant by day.
Waymont ConsultingGuildford, UK
Pinned Repositories
.dotfiles
My NixOS system flake and dotfiles.
elm-watch
A nix flake wrapper around elm-watch
flake-templates
My Nix Flake Templates.
fonts
A flake giving access to fonts that aren't in nixpkgs that I use.
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
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/npm-lockfile-fix
Add missing integrity and resolved fields to a package-lock.json file
jeslie0/nixos-grub-themes
A Nix flake providing some Grub bootloader themes
jeslie0/New-Emacs
jeslie0/elm-watch
A nix flake wrapper around elm-watch
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/coffee
jeslie0/descartes
Haskell wrapper around Edinburgh University's descartes package.
jeslie0/elm-spa
A nix flake wrapper around elm-spa
jeslie0/emacs-lsp-booster-flake
A flake for emacs-lsp-booster
jeslie0/flakes
A flake containing all my public flakes.
jeslie0/haskell-gi
Generate Haskell bindings for GObject-Introspection capable libraries
jeslie0/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
jeslie0/HaskellHomeLink
A remote home controller built for a Raspberry Pi, using Haskell and Nix
jeslie0/pipewire.hs
Haskell bindings to Pipewire Multimedia Framework
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/session-types
jeslie0/speccy
jeslie0/texmf
My texmf folder, providing .sty and .bib files.
jeslie0/water-tracker