Jacob Walters's repositories
site-frontend
Hakyll frontend side of my website
typewriter
A *very* simple word processor for Love2D.
idris-modules
An implementation of an ML-style module system for Idris 2
Idris2
A purely functional programming language with first class types
cat-cheatsheet
An exam sheet for UoE's 2023 Category Theory course.
bettermathematics.github.io
Better Mathematics is a collaborative platform where staff and students of all years can share academic resources for courses offered by the School of Mathematics at the University of Edinburgh.
halg-cheatsheet
A cheatsheet for the Honours Algebra course by SoM@UoE
Doom-Emacs-Config
My (Illiterate) Literate Doom Emacs Config
site-backend
Scotty backend of my website
.emacs.d
Emacs literate config
cpu
Multi-cycle stack machine CPU
plfa.github.io
An introduction to programming language theory in Agda
bfCompiler
A simple brainfuck to (Linux/nasm/amd64) assembly compiler
j1clash
Clash-lang implementation of the J1 CPU
gopher-client
Simple Haskell-based Gopher GUI Client
marboreal
Procedurally generated marble-like wallpapers