Pinned Loading
-
herd/herdtools7
herd/herdtools7 PublicThe Herd toolsuite to deal with .cat memory models (version 7.xx)
-
llvm/llvm-project
llvm/llvm-project PublicThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
-
Iris-Mech-Build
Iris-Mech-Build PublicIris 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 with…
-
Memory-Model-Reading-Group-Public
Memory-Model-Reading-Group-Public PublicPublic Reading group timetable for Memory Model/Compiler Verification Reading Group I run at Arm.
-
MScProjectPublic
MScProjectPublic PublicMasters Thesis, University of Oxford. Research project combining Calculating Compilers and Algebraic Effects using Haskell, supervised by Jeremy Gibbons. Presented work at the International Confere…
Haskell 8
215 contributions in the last year
Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | |||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |