Pinned

1. herd/herdtools7

   The Herd toolsuite to deal with .cat memory models (version 7.xx)

   OCaml 62 26

2. lplzoo

   Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck

   Haskell 28

3. llvm/llvm-project

   The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…

   7.4k 2.9k

4. 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 with…

   3

5. Memory-Model-Reading-Group-Public

   Public Reading group timetable for Memory Model/Compiler Verification Reading Group I run at Arm.

   3

6. 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 Confere…

   Haskell 6