Aaron Stockdill's repositories
rescript-react-d3-graph
ReScript bindings for (my own fork of) react-d3-graph
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.
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.
personal-website
My personal website
react-d3-graph
Interactive and configurable graphs with react and d3 effortlessly
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-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.
Website-Templates
Templates for websites for Potato SoftWorks
ZF
ZF Set-based programming.