Third year CS & Maths student at the University of Edinburgh
-
The University of Edinburgh
- Edinburgh
-
06:38
(UTC +01:00) - https://jacobwalte.rs
- @[email protected]
- in/jacobjwalters
Highlights
- Pro
Block or Report
Block or report jacobjwalters
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
-
-
-
-
-
idris-modules Public
An implementation of an ML-style module system for Idris 2
Idris UpdatedApr 3, 2024 -
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedMar 17, 2024 -
cat-cheatsheet Public
Forked from christopherwilson/cat-cheatsheetAn exam sheet for UoE's 2023 Category Theory course.
TeX The Unlicense UpdatedDec 16, 2023 -
bettermathematics.github.io Public
Forked from bettermathematics/bettermathematics.github.ioBetter 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.
HTML Other UpdatedMay 16, 2023 -
halg-cheatsheet Public
A cheatsheet for the Honours Algebra course by SoM@UoE
-
Doom-Emacs-Config Public
Forked from slano-ls/SLANOMACSMy (Illiterate) Literate Doom Emacs Config
Emacs Lisp UpdatedFeb 27, 2023 -
-
.emacs.d Public
Forked from progfolio/.emacs.dEmacs literate config
Emacs Lisp UpdatedFeb 21, 2023 -
-
-
plfa.github.io Public
Forked from plfa/plfa.github.ioAn introduction to programming language theory in Agda
HTML Creative Commons Attribution 4.0 International UpdatedJan 5, 2022 -
bfCompiler Public
A simple brainfuck to (Linux/nasm/amd64) assembly compiler
-
-
gopher-client Public
Simple Haskell-based Gopher GUI Client
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 8, 2021 -