Colin James

match. Match compilation algorithm in OCaml

lr. An interactive tool for experimenting with LR(1) grammars

summary. A toy ASDL (Abstract Syntax Description Language) intended to make writing compilers in C less tedious.

algorithm-d-ocaml. Implementation of "Pattern Matching in Trees", in OCaml.

algorithm-d. Implementation of tree matching using Algorithm D

Elfex. Tiny attempt at a capstone-based disassembler

imp-compiler. Compiler for a variant of the "IMP" programming language

xbdisasm. Small CLI XBDM remote memory disassembly tool

qt5-cmake-template. A simple Qt5 CMake-based project template

xbrpc. A cross-platform dynamic RPC front-end for exploited Xbox 360 consoles running xbrpc

ARMour. C++

idiomanic. An attempt at a short book that strives to clarify things that I frequently find myself having to explain to people new to C++. This was initially a private repo to avoid scrutiny in early stages but, because I don't believe I'll ever finish this, I've made it public. Feel free to scrutinise the inaccuracies (there's a few).

drawing-trees. A simple implementation of Andrew Kennedy's Functional Pearl, "Drawing Trees".

OpenXDK. C

bedrock2. A work-in-progress language and compiler for verified low-level programming

xapy. Typed (sync/asynchronous) Python bindings for XenAPI.