sam1penny Goto Github PK

2048

An implementation of the game 2048 in Java

addon-docs

Add-on writing docs

algorithms

A collection of (some of) the algorithms covered in the IA Algorithms course at the University of Cambridge

anki

Anki for desktop computers

anki-deck-stats

Shows the total due and new cards from all the decks in the deck browser.

assorted-anki-addons

A collection of small anki addons

autonomous-trucking

brzozowski-derivatives-talk

The slides and examples from a talk I gave on Brzozowski Derivatives

compiler-front-end

A purely functional regular expressions library, lexer and SLR(1) parser, written in OCaml.

countdown-to-events

Anki add-on that provides a countdown to upcoming events

herdtools7

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

hogpi

jvml

My undergraduate dissertation, titled 'An optimising compiler from an ML-like language to Java bytecode'. Features inlining, tail call elimination, tail call modulo context transformations and more.

motivanki