lukeg101 Goto Github PK

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)

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.

keebio-docs

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.

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.

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)

ucl-beamer

UCL template for LaTeX Beamer presentations