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 arraysnumpy_ringbuffer
Ring-buffer implementation that thinly wraps a numpy arraylean-matrix-cookbook
The matrix cookbook, proved in the Lean theorem provercomputercraft-github
A readonly github repository client for computercraftpacket-io
An arduino library for framing protocols, inspired by PacketSerialsnakes
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 formatbuild-with-input
A plugin to improve the build system of sublime textlean-graded-rings
A formalization of graded rings in Lean, corresponding to a CICM 2022 submissionsublime-student-robotics
Student Robotics Build Scriptcaius-rooms
The room balloting and information system for gonville and caius collegembed-led-dot-matrix
USACO-solutions
perspective-undistort
Using opencv to remove perspective distortion of aerial photosRobocup-Junior-Soccer-2011
A repository for source code for the Robocup Junior Soccer competition2.12-robot
Final project for MIT's 2.12 - Intro to Roboticsrfw-manager
A bukkit plugin to make running RFW servers easiertwo.js
engineering-calendar
icalendar mangler for the Cambridge Engineering IA course. Now hosted by the department,Robocup-temp
Grabbed from beanstalkapphungercraft
ARC
raven-client
A python requests adapter to automatically login to the Cambridge University Raven Loginsublime-bottle
A package for working with the bottle frameworkgpml
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 callbackcodejam
Solutions to past codejam competitions. Never pushed before scoring is completetype_templating
C++-style templated types for pythonmasters-thesis
mathlib-import-graph
An interactive viewer for the mathlib import graphLove Open Source and this site? Check out how you can help us