Luke Geeson's repositories
MScProjectPublic
Masters Thesis, University of Oxford. Research project combining Calculating Compilers and Algebraic Effects using Haskell, supervised by Jeremy Gibbons. Presented work at the International Conference on Functional Programming Student Research Competition and the 7th South of England Regional Programming Languages Seminar.
Iris-Mech-Build
Iris Split Ergonomic Mechanical Keyboard Build. Made with love using brushed copper switch plates, Zealios v2 67g tactile switches, Iris Rev2 PCBs, and green LEDs to give a Copper Oxide effect without the patina.
Memory-Model-Reading-Group-Public
Public Reading group timetable for Memory Model/Compiler Verification Reading Group I run at Arm.
Talks
A repo containing all of the slides for some of the talks I have done (either by myself or with a team) at conferences, hackathons or beyond. Please feel free to reuse the slides if you like them, I don't require attribution although it would be nice. Please source any external resources used if you do (and if I have forgotten to do so)
abi-aa
Application Binary Interface for the Arm® Architecture
alfred-web-searches
🎩 Alfred workflow to search through any website on the web (easily extendable list)
awesome-mechanical-keyboard
⌨️ A curated list of awesome Mechanical Keyboard resources.
constitution
Fork of the HackSoc Nottingham Constitution. Modified to update with 2016/17 changes
dubText
dubText
effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
G51FSE-Pygame-Project
This is the repo for the G51FSE pygame Project for the software engineering module in my first year of computer science at the university of nottingham
HackSocNotts.github.io
HackSoc 2015+ website
herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
IB-Computer-Science-Higher-Level-Dossier
This is the Documentation and report for my International Baccalaureate Diploma Computer Science Higher Level Dossier.
IB-Extended-Essay-Computer-Science
this repository contains a copy of my extended essay in Computer Science completed for the international baccalaureate diploma in 2013. It focuses on the analysis of the best detection methods for polymorphic viruses. No prior knowledge in this area is assumed and none was known before starting this project and hence it should be quite accessible. All necessary preliminary background knowledge is provided and 2 file formats proved (word doc and pdf)
my-mac-os
💻 a list of applications, alfred workflows and various tools that make my macOS experience even more amazing
MyEnvironment
some useful files for setting up work environment
papers-we-love
Papers from the computer science community to read and discuss.
studentdev.io
A curated list to help you become a great student developer.
ucl-beamer
UCL template for LaTeX Beamer presentations