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/beatle
a parser for beatle, a statically-typed programming language with pythonic syntax
milesrout/vine
VINE: VIVE Is Not Emacs / VIVE: VINE Isn't Vim Either
milesrout/dcpu
DCPU-16 emulator
milesrout/aether
Simple chat protocol reference implementation
milesrout/.vim
my vim configuration - be sure to use --recurse-submodules to clone this.
milesrout/agda-cmst
milesrout/base16-vim
Base16 for Vim
milesrout/dcpu-cc
An ANSI-C (C89) compiler built from scatch for the DCPU16 architecture.
milesrout/dcpugame
milesrout/DCPUToolchain
The code repository for the DCPU-16 Toolchain.
milesrout/epnamer
Batch rename television episode video files
milesrout/experiment1
milesrout/formulai
milesrout/gentoo
[MIRROR] Official Gentoo ebuild repository
milesrout/goyo.vim
:tulip: Distraction-free writing in Vim
milesrout/gtec-demo-framework
milesrout/imgui
Dear ImGui: Bloat-free Immediate Mode Graphical User interface for C++ with minimal dependencies
milesrout/irssi
The client of the future
milesrout/milesrout.github.io
Simplicity and quality are synonymous.
milesrout/ni
milesrout/playsounds
milesrout/rust.vim
Vim configuration for Rust.
milesrout/stacked-git.github.io
Source for the Stacked Git website
milesrout/swift.vim
Vim runtime files for Swift
milesrout/syntastic
Syntax checking hacks for vim
milesrout/tabular
Vim script for text filtering and alignment
milesrout/tec
The Trillek Engine
milesrout/trillek-assets
milesrout/vim-css-color
Preview colours in source code while editing
milesrout/vim-radical
radical.vim ✊ Convert decimal, hex, octal, binary number representations