aaronstockdill Goto Github PK

bib

Bibliographic reference manager with projects; written in Standard ML.

bin

A collection of useful utilities I have accumulated.

bs-fetch

Fetch bindings for BuckleScript

cv

An abandoned tool to simplify CV creation for websites, PDFs, plain text...

kanbanredux

A simple little organisational tool based on the Kansan Philosophy.

lamproof

lite

Shiny Application for iNZight.

mixr

MixR is a heterogeneous reasoning framework. It is based on the NetBeans Plathfom and highly extensible. Via MixR drivers existing theorem provers are extended with HR.

paul

Python Actions Using Language

personal-website

My personal website

react-d3-graph

Interactive and configurable graphs with react and d3 effortlessly

rescript-react-d3-graph

ReScript bindings for (my own fork of) react-d3-graph

rescript-react-draggable-list

ReScript Bindings for react-draggable-list.

rescript-test

A lightweight test framework for ReScript

shorttoc

Produce a summary of chapters in a complex latex document.

speedith

Speedith is a theorem prover for spider diagrams (see http://en.wikipedia.org/wiki/Spider_diagram).

thesis

A LaTeX document class that conforms to the Computer Laboratory's PhD thesis formatting guidelines.

thesis-appendices

Materials that belong in the appendix of my dissertation, but are pointlessly long to include in print form.

timetable-widget

A widget that displays my University of Canterbury timetable.

topkfreq

An implementation of Bentley's Problem, famously solved by Knuth, in macOS x64 NASM assembly.

ucmaths

A LaTeX Class for UC Mathematics and Statistics students.

warp

Jumping through your filesystem at warp speed.

website-templates

Templates for websites for Potato SoftWorks

zf

ZF Set-based programming.