eric-wieser/lean-matrix-cookbook eric-wieser/lean-matrix-cookbook

  • Stars
    star
    68
  • Rank 457,643 (Top 10 %)
  • Language Lean
  • License
    MIT License
  • Created about 3 years ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
eric-wieser/lean-matrix-cookbook
github

eric-wieser

Reviews

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

Repository Details

The matrix cookbook, proved in the Lean theorem prover

More Repositories

1

ros_numpy

Tools for converting ROS messages to and from numpy arrays
Python
272
star
2

numpy_ringbuffer

Ring-buffer implementation that thinly wraps a numpy array
Python
79
star
3

nanopb-arduino

Arduino stream wrappers for nanopb
C++
41
star
4

computercraft-github

A readonly github repository client for computercraft
Lua
28
star
5

packet-io

An arduino library for framing protocols, inspired by PacketSerial
C++
20
star
6

snakes

A game written in node.js, HTML5 canvas, and Socket.IO.
JavaScript
19
star
7

banking

Python scrapers for extracting bank statements from tesco, santander, and lloyds in the QIF format
Python
16
star
8

build-with-input

A plugin to improve the build system of sublime text
Python
10
star
9

lean-graded-rings

A formalization of graded rings in Lean, corresponding to a CICM 2022 submission
Lean
7
star
10

sublime-student-robotics

Student Robotics Build Script
Python
4
star
11

caius-rooms

The room balloting and information system for gonville and caius college
CSS
4
star
12

mbed-led-dot-matrix

C++
3
star
13

USACO-solutions

C++
3
star
14

perspective-undistort

Using opencv to remove perspective distortion of aerial photos
Python
3
star
15

Robocup-Junior-Soccer-2011

A repository for source code for the Robocup Junior Soccer competition
C#
3
star
16

2.12-robot

Final project for MIT's 2.12 - Intro to Robotics
MATLAB
2
star
17

rfw-manager

A bukkit plugin to make running RFW servers easier
Java
2
star
18

two.js

JavaScript
2
star
19

engineering-calendar

icalendar mangler for the Cambridge Engineering IA course. Now hosted by the department,
Python
2
star
20

Robocup-temp

Grabbed from beanstalkapp
Java
2
star
21

hungercraft

Java
2
star
22

ARC

2
star
23

raven-client

A python requests adapter to automatically login to the Cambridge University Raven Login
Python
2
star
24

sublime-bottle

A package for working with the bottle framework
Smarty
1
star
25

gpml

A git mirror of http://www.gaussianprocess.org/gpml/code/matlab/doc/
MATLAB
1
star
26

lean-multiple-inheritance

Lean
1
star
27

eric-wieser

1
star
28

generatorify

Convert a function taking a repeated callback to a generator that pauses at each callback
Python
1
star
29

codejam

Solutions to past codejam competitions. Never pushed before scoring is complete
Python
1
star
30

type_templating

C++-style templated types for python
Python
1
star
31

masters-thesis

TeX
1
star
32

mathlib-import-graph

An interactive viewer for the mathlib import graph
HTML
1
star