milesrout
Law grad in New Zealand. My repositories here relate to some of my interests: C, mathematics, logic, cryptography, graphics and more
New Zealand
Pinned Repositories
aether
Simple chat protocol reference implementation
beatle
a parser for beatle, a statically-typed programming language with pythonic syntax
dcpu
DCPU-16 emulator
minimal-logic
a proof checker and model checker for minimal propositional logic
sceptre
an automated theorem prover for minimal propositional logic
vine
VINE: VIVE Is Not Emacs / VIVE: VINE Isn't Vim Either
visp
a lisp interpreter
milesrout's Repositories
milesrout/chalice
milesrout/pytrace
A simple tracing decorator for Python.
milesrout/oldgrail
milesrout/as.dasm
A DCPU-16 assembler written in DCPU-16 assembly language.
milesrout/implicational
milesrout/linsolve
Floating point code in C is actually not too bad...
milesrout/pythonconstrictor
End the tabs vs spaces debate
milesrout/asteroid
An object file format for the DCPU-16, used primarily by the jupiter assembler and the pluto linker, both part of galaxy.
milesrout/config-files
My vim and tmux configuration files, along with a couple of others
milesrout/jupiter
Galaxy's assembler.
milesrout/worldgen
The beginnings of a FLOSS Coffeescript world generator.
milesrout/st
(MIRROR) st is a simple virtual terminal emulator for X which sucks less.
milesrout/pluto
Galaxy's linker.
milesrout/galaxpy
The Python API to galaxy.
milesrout/saturn
Galaxy's emulator.
milesrout/libsaturn
A library for emulating the DCPU-16 architecture
milesrout/.emacs.d
My .emacs.d
milesrout/galaxy
A repository intended to help people to manage all of galaxy at one
milesrout/AlphaOS
An OS
milesrout/latex-nzlaw
This is a latex (using xelatex + biblatex) class and bibliography style for writing using the New Zealand Law Style guide.
milesrout/DCPUModules
Modules repository for DCPU-16 Toolchain.
milesrout/emscripten
Emscripten: An LLVM-to-JavaScript Compiler
milesrout/zlib-1.2.5
zlib port for Emscripten
milesrout/libpng-1.2.49
libpng port for Emscripten
milesrout/AtlasOS
An operating system for DCPU-16.