jeslie0
Mathematics graduate with a passion for functional programming and dependent type theory. Software consultant by day.
Waymont ConsultingGuildford, UK
jeslie0's Stars
ibraheemdev/modern-unix
A collection of modern/faster/saner alternatives to common unix commands.
swaywm/sway
i3-compatible Wayland compositor
Alexays/Waybar
Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada:
AndrewStetsenko/tech-jobs-with-relocation
All-in-one guide to getting a tech job abroad 🌎
rougier/nano-emacs
GNU Emacs / N Λ N O - Emacs made simple
natpen/awesome-wayland
A curated list of Wayland code and resources.
daviwil/emacs-from-scratch
An example of a fully custom Emacs configuration developed live on YouTube!
Gabriella439/haskell-nix
Nix and Haskell in production
AccelerateHS/accelerate
Embedded language for high-performance array computations
purescript/spago
🍝 PureScript package manager and build tool
thomashoneyman/purescript-halogen-realworld
Exemplary real world application built with PureScript + Halogen
plabayo/learn-rust-101
A guide to aid you in your journey of becoming a Rustacean (Rust developer).
dog-blood/utterly-unorganized-latex-code
latex code from my first year of engineering.
willbasky/Awesome-list-of-Haskell-mentors
An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.
HoTT-Intro/Agda
Agda formalisation of the Introduction to Homotopy Type Theory
mrkline/modern-latex
A short guide to LaTeX that avoids legacy cruft.
yukikurage/purescript-jelly
sohamch08/Eye-Candy-Lecture-Notes-Theme
This is a lecture notes theme which i have created for typing up all the class notes I have taken in my courses. So i am sharing my theme to everyone
velveteer/hermes
A Haskell library for fast, memory-efficient decoding of JSON documents using the simdjson C++ library
jeslie0/mkElmDerivation
A nix flake for simplifiying the packaging of elm projects, inspired by elm2nix.
jeslie0/mkSpagoDerivation
Reproducible PureScript projects with Nix
slotThe/emacs-lsp-booster-flake
A flake for emacs-lsp-booster
jeslie0/npm-lockfile-fix
Add missing integrity and resolved fields to a package-lock.json file
TristanCacqueray/pipewire.hs
Haskell bindings to Pipewire Multimedia Framework
jeslie0/nixos-grub-themes
A Nix flake providing some Grub bootloader themes
jeslie0/New-Emacs
CarolinaIgnites/editFrame
Editor for gameFrame games
mohabatt/mohabatt.github.io
sd-yip/Google-Closure-Compiler-ACOCR
Google Closure Compiler with `assumeClosuresOnlyCaptureReferences`