Eric Wieser

ros_numpy. Tools for converting ROS messages to and from numpy arrays

lean-matrix-cookbook. The matrix cookbook, proved in the Lean theorem prover

numpy_ringbuffer. Ring-buffer implementation that thinly wraps a numpy array

nanopb-arduino. Arduino stream wrappers for nanopb

computercraft-github. A readonly github repository client for computercraft

packet-io. An arduino library for framing protocols, inspired by PacketSerial

snakes. A game written in node.js, HTML5 canvas, and Socket.IO.

banking. Python scrapers for extracting bank statements from tesco, santander, and lloyds in the QIF format

build-with-input. A plugin to improve the build system of sublime text

lean-graded-rings. A formalization of graded rings in Lean, corresponding to a CICM 2022 submission

caius-rooms. The room balloting and information system for gonville and caius college

sublime-student-robotics. Student Robotics Build Script

mathlib-import-graph. An interactive viewer for the mathlib import graph

Robocup-Junior-Soccer-2011. A repository for source code for the Robocup Junior Soccer competition

raven-client. A python requests adapter to automatically login to the Cambridge University Raven Login

zulip-archive. Generate a static HTML archive of messages in any combination of streams in a Zulip organization.

perspective-undistort. Using opencv to remove perspective distortion of aerial photos

engineering-calendar. icalendar mangler for the Cambridge Engineering IA course. Now hosted by the department,

USACO-solutions. C++

2.12-robot. Final project for MIT's 2.12 - Intro to Robotics

mbed-led-dot-matrix. C++

paper.js. The Swiss Army Knife of Vector Graphics Scripting – Scriptographer ported to JavaScript and the browser, using HTML5 Canvas. Created by @juerglehni & @jonathanpuckey

hungercraft. Java

ARC.

pymclevel. Minecraft Levels for Python

rfw-manager. A bukkit plugin to make running RFW servers easier

game-off-2012. A canvas game about controlling where your code goes

worldguard. World protection, fixes, and features for Minecraft SMP

two.js. JavaScript

eric-wieser.

2010-Weather-station. For work experience in year 10, i was tasked with programming a miniature whether station using the mbed microcontroler

m3pi-logo. The logo interpretor I made at ARM

underscore.lua. A utility library for Lua

StoreOnDespawn. A simple bukkit plugin that makes items attempt to fit themselves inside nearby chests and similar objects

Robocup-temp. Grabbed from beanstalkapp

PhysLean. A project to digitalise results from physics into Lean.

gpml. A git mirror of http://www.gaussianprocess.org/gpml/code/matlab/doc/

type_templating. C++-style templated types for python

generatorify. Convert a function taking a repeated callback to a generator that pauses at each callback

masters-thesis. TeX