eric-wieser/masters-thesis

Stars
1
Language
TeX
Created over 7 years ago
Updated over 7 years ago

eric-wieser/masters-thesis

eric-wieser

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

ros_numpy

Tools for converting ROS messages to and from numpy arrays

numpy_ringbuffer

Ring-buffer implementation that thinly wraps a numpy array

lean-matrix-cookbook

The matrix cookbook, proved in the Lean theorem prover

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

sublime-student-robotics

Student Robotics Build Script

caius-rooms

The room balloting and information system for gonville and caius college

mbed-led-dot-matrix

USACO-solutions

perspective-undistort

Using opencv to remove perspective distortion of aerial photos

Robocup-Junior-Soccer-2011

A repository for source code for the Robocup Junior Soccer competition

2.12-robot

Final project for MIT's 2.12 - Intro to Robotics

rfw-manager

A bukkit plugin to make running RFW servers easier

two.js

engineering-calendar

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

Robocup-temp

Grabbed from beanstalkapp

hungercraft

ARC

raven-client

A python requests adapter to automatically login to the Cambridge University Raven Login

sublime-bottle

A package for working with the bottle framework

gpml

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

lean-multiple-inheritance

eric-wieser

generatorify

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

codejam

Solutions to past codejam competitions. Never pushed before scoring is complete

type_templating

C++-style templated types for python

mathlib-import-graph

An interactive viewer for the mathlib import graph