Nandor Licker

hcraft. Haskell clone of a certain game

llir-opt. LLIR cross-language post-link optimiser for OCaml and C

mkcheck. Incremental Build Verification

offheap. Copies OCaml objects out of the garbage collected heap

miniml. Simple OCaml Virtual Machine

MobileAR. 3rd Year BEng Project

byter. 8-bit computer built from 7400 series ICs

MAZE. 3D Maze game

llir-ocaml. OCaml with the LLIR backend

llir-opam-repository. Opam repository for Duplo-Optimised OCaml

ocaml-llir-comparison. Comparison of code generation by ocamlopt and Duplo (using the backend of LLVM)

whacked. Whacked Compiler

llir-semantics. Formalised semantics for LLIR

ncemu. Chip16 emulator

mini-lambda. Compiler Construction Practical Exercise

jsgb. JavaScript GameBoy emulator

myGreenTown. An ecological town building game

nmath. SSE-optimized 4d vector and 4x4 matrix manipulation library

llir-benchmark. Benchmarks for the LLIR optimiser

utcn-imp. Imp Language and Interpreter

arm-krn. ARM bare metal exercieses

aes. FPGA-Accelerated Implementation of AES Encryption

riftwm. Window manager for the Oculus Rift and Kinect

trees. Tree-like structures implemented in C++

hasteroid. Asteroids game written in haskell

hcasm. Chip16 Assembler written in Haskell

kit. Keep In Touch for f11 competition

mkcheck-eval. Python

shmap. OCaml