Pinned Repositories
alternativevote-atron
A script to count an Alternative Vote (AV) election from a CSV file exported from Drupal Webform.
dotfiles
Personal UNIX toolbox
IBProject
led-cube-arduino
Arduino sketch for a 4x4x4 LED cube I made, see http://blog.tynan.me/2012/05/4x4x4-led-cube-i-decided-to-make-led.html
rptynan.github.io
My website
Topper
Experimental infill software for 3D printing
rptynan's Repositories
rptynan/Topper
Experimental infill software for 3D printing
rptynan/IBProject
rptynan/dotfiles
Personal UNIX toolbox
rptynan/alternativevote-atron
A script to count an Alternative Vote (AV) election from a CSV file exported from Drupal Webform.
rptynan/led-cube-arduino
Arduino sketch for a 4x4x4 LED cube I made, see http://blog.tynan.me/2012/05/4x4x4-led-cube-i-decided-to-make-led.html
rptynan/rptynan.github.io
My website
rptynan/ale
Check syntax (linting) and fix files asynchronously, with Language Server Protocol (LSP) integration in Vim
rptynan/game-of-code-2016
Build an app. Win £100,000
rptynan/hackcambridge17
rptynan/liballocs
Runtime and toolchain for whole-program monitoring of allocations and their data types
rptynan/libdwarfpp
C++ front-end to libdwarf, with extra goodies
rptynan/naturepy
Repo containing code for physics emulations and other stuff, following along with Nature of Code book
rptynan/part2-dissertation
The code for my final year dissertation on type checking the FreeBSD kernel. Writeup link to come soon.