lukeg101
Current: PhD Student@UCL. Former: Compiler Engineer@Arm, MSc Computer Science@Oxford, BSc CS@Uni of Nottingham.
University College LondonCambridge, UK
Pinned Repositories
herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
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)
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.
lplzoo
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
Memory-Model-Reading-Group-Public
Public Reading group timetable for Memory Model/Compiler Verification Reading Group I run at Arm.
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.
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)
lukeg101's Repositories
lukeg101/lplzoo
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
lukeg101/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.
lukeg101/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.
lukeg101/Memory-Model-Reading-Group-Public
Public Reading group timetable for Memory Model/Compiler Verification Reading Group I run at Arm.
lukeg101/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)
lukeg101/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)
lukeg101/abi-aa
Application Binary Interface for the Arm® Architecture
lukeg101/alfred-web-searches
🎩 Alfred workflow to search through any website on the web (easily extendable list)
lukeg101/awesome-mechanical-keyboard
⌨️ A curated list of awesome Mechanical Keyboard resources.
lukeg101/constitution
Fork of the HackSoc Nottingham Constitution. Modified to update with 2016/17 changes
lukeg101/dubText
dubText
lukeg101/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
lukeg101/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
lukeg101/HackSocNotts.github.io
HackSoc 2015+ website
lukeg101/herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
lukeg101/IB-Computer-Science-Higher-Level-Dossier
This is the Documentation and report for my International Baccalaureate Diploma Computer Science Higher Level Dossier.
lukeg101/keebio-docs
lukeg101/my-mac-os
💻 a list of applications, alfred workflows and various tools that make my macOS experience even more amazing
lukeg101/MyEnvironment
some useful files for setting up work environment
lukeg101/papers-we-love
Papers from the computer science community to read and discuss.
lukeg101/studentdev.io
A curated list to help you become a great student developer.
lukeg101/ucl-beamer
UCL template for LaTeX Beamer presentations