Legendary
94
CODERANK
15
TASTEMAKER
57
INFLUENCE
543
followers
306
repos
706
stars
Consistency
Engagement
Social
Creator
Achievements
Orgs12
Organization
Member
Member Since'10
Eternal
Developer
Seattle, WA
coderank.me
Activity
0 recorded weeksContribution totals unavailable
No contribution history synced yet.
—
0
0
0
Languages
Python42%Lean20%
C++20%
Lua10%Other9%
ros_numpyPython
Tools for converting ROS messages to and from numpy arrays
319174
lean-matrix-cookbookLean
The matrix cookbook, proved in the Lean theorem prover
13420
numpy_ringbufferPython
Ring-buffer implementation that thinly wraps a numpy array
9621
nanopb-arduinoC++
Arduino stream wrappers for nanopb
477
computercraft-githubLua
A readonly github repository client for computercraft
3116
packet-ioC++
An arduino library for framing protocols, inspired by PacketSerial
246
snakesJavaScript
A game written in node.js, HTML5 canvas, and Socket.IO.
208
bankingPython
Python scrapers for extracting bank statements from tesco, santander, and lloyds in the QIF format
176
build-with-inputPython
A plugin to improve the build system of sublime text
104
lean-graded-ringsLean
A formalization of graded rings in Lean, corresponding to a CICM 2022 submission
80