Discover @eric-wieser Open Source projects

Eric Wieser (@eric-wieser)

eric-wieser

Stars
631
Global Rank 47,126 (Top 2 %)
Followers 347
Following 41
Registered about 14 years ago
Most used languages

Python
35.5 %

C++
12.9 %

Java
9.7 %

Lean 9.7 %

JavaScript
6.5 %

MATLAB
6.5 %

CSS
3.2 %

TeX
3.2 %

C#
3.2 %

HTML
3.2 %

Smarty 3.2 %

Lua
3.2 %
Location 🇬🇧 United Kingdom
Country Total Rank 2,472
Country Ranking

Lean 4

Smarty 127

Lua
155

Python
569

C++
619

MATLAB
740

TeX
1,465

CSS
1,660

Java
2,988

C#
3,970

JavaScript
4,180

HTML
6,529

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

masters-thesis

mathlib-import-graph

An interactive viewer for the mathlib import graph