Discover @eric-wieser Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

TypeScript

C

F#

R

Python

Erlang

Perl

Lua

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

R

Kotlin

C

JavaScript

PHP

Perl

Zig

Elixir

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇻🇬 British Virgin Islands

🇹🇰 Tokelau

🇲🇫 Saint Martin

🇮🇳 India

🇱🇹 Lithuania

🇭🇰 Hong Kong

🇬🇹 Guatemala

🇲🇪 Montenegro

All Countries Compare Countries

Eric Wieser (@eric-wieser)

eric-wieser

Stars
603
Global Rank 47,977 (Top 2 %)
Followers 318
Following 41
Registered over 13 years ago
Most used languages

Python
35.5 %

C++
12.9 %

Java
9.7 %

Lean 9.7 %

MATLAB
6.5 %

JavaScript
6.5 %

HTML
3.2 %

TeX
3.2 %

CSS
3.2 %

C#
3.2 %

Smarty 3.2 %

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

Lean 4

Smarty 141

Lua
157

Python
556

C++
608

MATLAB
870

TeX
1,184

CSS
1,575

Java
2,789

C#
3,785

JavaScript
4,156

HTML
8,414

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