Eric Wieser

Tools for converting ROS messages to and from numpy arrays

The matrix cookbook, proved in the Lean theorem prover

Ring-buffer implementation that thinly wraps a numpy array

Arduino stream wrappers for nanopb

A readonly github repository client for computercraft

An arduino library for framing protocols, inspired by PacketSerial

A game written in node.js, HTML5 canvas, and Socket.IO.

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

A plugin to improve the build system of sublime text

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

An interactive viewer for the mathlib import graph

A repository for source code for the Robocup Junior Soccer competition

Student Robotics Build Script

The room balloting and information system for gonville and caius college

A python requests adapter to automatically login to the Cambridge University Raven Login

Generate a static HTML archive of messages in any combination of streams in a Zulip organization.

Final project for MIT's 2.12 - Intro to Robotics

icalendar mangler for the Cambridge Engineering IA course. Now hosted by the department,

No description.

No description.

No description.

A utility library for Lua

No description.

Grabbed from beanstalkapp

No description.

The logo interpretor I made at ARM

For work experience in year 10, i was tasked with programming a miniature whether station using the mbed microcontroler

No description.

The Swiss Army Knife of Vector Graphics Scripting – Scriptographer ported to JavaScript and the browser, using HTML5 Canvas. Created by @juerglehni & @jonathanpuckey

World protection, fixes, and features for Minecraft SMP

A simple bukkit plugin that makes items attempt to fit themselves inside nearby chests and similar objects

Minecraft Levels for Python

A bukkit plugin to make running RFW servers easier

(My fork of) The math library of Lean 4

A project to digitalise results from physics into Lean.

No description.

Lean 4 programming language and theorem prover

Numpy main repository

6.004_tools Browser-based Courseware for 6.004

Slices up past exam papers (PDFs) into their questions

Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean

No description.

No description.

The GitHub ToolKit for developing GitHub Actions.

Convert a function taking a repeated callback to a generator that pauses at each callback

C++-style templated types for python

Solutions to past codejam competitions. Never pushed before scoring is complete

building blocks for with-statement-related hackery. Fork of the upstream repo with python 3 support.

Symbolic Geometric Algebra/Calculus package for SymPy :crystal_ball:

A package for working with the bottle framework

Ucam-webauth and Raven client in Python

A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions

Open Source Vulnerability schema.

No description.

Lennard Jones in Lean

No description.

x64 semantics in Lean

A subprocess.run drop-in replacement that supports a tee mode, being able to display output in real time while still capturing it. No dependencies needed

The Lean Computer Science Library (CSLib)

(Mirror) A Machine-to-Machine Interaction System for Lean 4

Solving the* Navier Stokes Millenium problem in Lean

Default channel file for Package Control. Follow the directions at:

A lightweight LLVM python binding for writing JIT compilers

Protocol Buffers - Google's data interchange format

CaDiCaL SAT Solver

No description.

A Lean companion to Analysis I

No description.

testing fork...

A Machine-to-Machine Interaction System for Lean 4.

White-box automation for Lean 4

LeanTeX pretty printers for mathlib

Dependency graph plugin for plasTeX

a Python implementation of the Unicode Collation Algorithm

Bazel rules for creating packages of many types (zip, tar, deb, rpm, ...)

plasTeX plugin to build formalization blueprints.

Formalizing stochastic doubly-efficient debate

The Lean version manager

MPU9250 Driver for Arduino

Mathlib search tool

Tool to analyse the import structure of lean projects.

No description.

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Tactics for discharging Lean goals into SMT solvers.

the Lean 4 source code of MiniCodeProps

An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

HyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné à étudier qu'à connaître, à chercher qu'à trouver la vérité."

plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of output.

Helper toolkit for creating your own Lean 4 UserWidgets

a Lean wrapper for the MD4C Markdown parser

Standard Library for Lean 4

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Visual Studio Code extension for the Lean 4 proof assistant

Theorem Proving in Lean 4

A type-aware olean tparser for Lean 4 olean files

Lean 4 .olean file (de)compressor

Public repo for contributing to https://github.com/James-Yu/LaTeX-Workshop/wiki

repository for material for Jan-Mar 2023 course on formalising mathematics

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

Loading multiple datamodel with biblatex

Intuitive, type-safe expression quotations for Lean 4.

A fork of the project to formalize the witt ring of quadratic forms from LftCM 2023

👁 A merge bot for GitHub Pull Requests

Source code for the Mathematics in Lean tutorial.

No description.

The HTML Presentation Framework

CUED division F conference presentation

Collection of core plugins for markdown-it-py

Benchmark for undergraduate-level formal mathematics

Document Generator for Lean 4

Formalizing "Proofs from THE BOOK"

No description.

The presentation for my MEng thesis

JSON for Modern C++

Lean Theorem Prover

An extension for VS Code which provides support for the Lean language.

Set up your GitHub Actions workflow with a specific version of Python

VS Code Jupyter extension

Visual Studio Code

This project converts structured Lean code into an interactive browser game.

No description.

Validation tool for EPUB

A work-in-progress formalization of Geometric Algebra in the Lean formal proof verification system.

1B Integrated Design Project Team L205

Prove some stuff about flat modules in Lean

Hosts the website for mathlib and other Lean community infrastructure.

Generate HTML documentation for mathlib and Lean

No description.

Lean stuff for M40001

open-source electronics prototyping platform

A markdown-it plugin for $-delimited math

A robust & multipurpose Graph object for JavaScript & TypeScript.

No description.

No description.

No description.

Coroutine Co-simulation Test Bench

Python thermobarometry tool

Numeric Geometric Algebra module for Python

Files for IB Data Science coursework in CUED, University of Cambridge

GitPython is a python library used to interact with Git repositories.

JavaScript syntax highlighter with language auto-detection and zero dependencies.

Sphinx extension for bibtex style references.

No description.

Custom paint-by-number generator.

No description.

The Python scientific stack, compiled to WebAssembly

Python module to modify bytecode

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

HTML processing filters and utilities

Website for Lean Together 2021

Python Enhancement Proposals

Development tools for https://github.com/leanprover-community/mathlib

:symbols: A collection of GitHub issue and pull request templates

Pygments is a generic syntax highlighter written in Python

Lean mathematical components library

Lean for the Curious Mathematician 2020

Python package for Geometric / Clifford Algebra with TensorFlow

A pass-through type for Numba

Code generation framework for automated finite difference computation

Building the natural numbers in Lean.

A cookiecutter template for a Sphinx extension

Repo for the paper "SymPy: symbolic computing in python"

SymPy's web page (sympy.org)

The source code that powers readthedocs.org

Demo repo for reproducing LGTM issues

Canonical source for classifiers on PyPI.

The pytest framework makes it easy to write small tests, yet scales to support complex functional testing

Docker image definitions used by Read the Docs

Utility library for frequently used functionality in Sublime Text and convenience functions or classes

Collection of Sphinx extensions similar to (but more flexible than) numpydoc

JavaScript tool for visualizing json-schemas

Jupyter Notebook Conversion

Convert matplotlib figures to TikZ/PGFplots for smooth integration into LaTeX.

USB access for Python

No description.

A computer algebra system written in pure Python

A chrome extension

Markdown <=> IPython Notebook

A conda-smithy repository for clifford.

:triangular_ruler: Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -

A conda-smithy repository for numba.

NumPy aware dynamic Python compiler using LLVM

Visualisation library for geometric algebra with cefpython and ganja.js

No description.

LaTeX plugin for Sublime Text 2 and 3

Sparse multi-dimensional arrays for the PyData ecosystem

Testing Numba 'master' against the latest released versions of dependent libraries.

No description.

Single-page website made years ago

No description.

Unit testing for cocotb

Operate and manipulate physical quantities in Python

czi reader from https://www.lfd.uci.edu/~gohlke/code/czifile.py.html

Library for building powerful interactive command lines in Python

Python CommonMark parser

Git Extensions is a standalone UI tool for managing git repositories. It also integrates with Windows Explorer and Microsoft Visual Studio (2010/2012/2013/2015/2017).

Wyrm is a collection of sass files for bourbon / neat projects.

Python profile viewer

Python-style classes and builtins in lua

Collection of library stubs for Python, with static types