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/minimal-logic
a proof checker and model checker for minimal propositional logic
milesrout/visp
a lisp interpreter
milesrout/mort
a scanner (eventually compiler) for a low level imperative programming language like C
milesrout/irc-log-viewer
milesrout/skybot
Python IRC bot
milesrout/phlegm
milesrout/glad
Multi-Language GL/GLES/EGL/GLX/WGL Loader-Generator based on the official specs.
milesrout/arena
milesrout/sceptre
an automated theorem prover for minimal propositional logic
milesrout/grail
milesrout/youtubeCounter
Small add on that counts the number of videos you watch then to tells you when you have exeeded you limit.
milesrout/DefinitelyTyped
The repository for high quality TypeScript type definitions.
milesrout/louisswarren.github.io
Build a Jekyll blog in minutes, without touching the command line.
milesrout/Selene
Simple C++11 friendly header-only bindings to Lua
milesrout/axiom
milesrout/yats.vim
The most advanced TypeScript Syntax Highlighting
milesrout/vim-racket
vim bundle for Racket, for use with Pathogen
milesrout/vim-repeat
repeat.vim: enable repeating supported plugin maps with "."
milesrout/vim-coffee-script
CoffeeScript support for vim
milesrout/cold
milesrout/ch
milesrout/xbmc
Kodi Main Repository - By using this code you agree with our policy and will follow the GPLv2 license as included
milesrout/pyutil
a collection of very useful python utilities
milesrout/fluorine
milesrout/copper
milesrout/sodium
milesrout/pyaccumulate
A simple accumulation decorator for Python.
milesrout/dcpu16-vim-syntax
Vim syntax highlighting definition for Notch's DCPU-16 assembly language
milesrout/project
milesrout/ienabler