Pinned Repositories
cocotb
cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
lean-matrix-cookbook
The matrix cookbook, proved in the Lean theorem prover
nanopb-arduino
Arduino stream wrappers for nanopb
numpy_ringbuffer
Ring-buffer implementation that thinly wraps a numpy array
raven-client
A python requests adapter to automatically login to the Cambridge University Raven Login
ros_numpy
Tools for converting ROS messages to and from numpy arrays
mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
mathlib4
The math library of Lean 4
numpy
The fundamental package for scientific computing with Python.
clifford
Geometric Algebra for Python
eric-wieser's Repositories
eric-wieser/ros_numpy
Tools for converting ROS messages to and from numpy arrays
eric-wieser/numpy_ringbuffer
Ring-buffer implementation that thinly wraps a numpy array
eric-wieser/lean-matrix-cookbook
The matrix cookbook, proved in the Lean theorem prover
eric-wieser/computercraft-github
A readonly github repository client for computercraft
eric-wieser/lean-multiple-inheritance
eric-wieser/lean4
Lean 4 programming language and theorem prover
eric-wieser/LeanCamCombi
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
eric-wieser/lftcm2023-clifford_algebra
eric-wieser/biblatex-multiple-dm
Loading multiple datamodel with biblatex
eric-wieser/bors-ng
👁 A merge bot for GitHub Pull Requests
eric-wieser/cocotb
Coroutine Co-simulation Test Bench
eric-wieser/cpython
The Python programming language
eric-wieser/doc-gen4
Document Generator for Lean 4
eric-wieser/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
eric-wieser/formalising-mathematics-2023
repository for material for Jan-Mar 2023 course on formalising mathematics
eric-wieser/LaTeX-Workshop-wiki
Public repo for contributing to https://github.com/James-Yu/LaTeX-Workshop/wiki
eric-wieser/leangz
Lean 4 .olean file (de)compressor
eric-wieser/leocad
A CAD program for creating virtual LEGO models
eric-wieser/lftcm2023-QuadraticForms
A fork of the project to formalize the witt ring of quadratic forms from LftCM 2023
eric-wieser/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
eric-wieser/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
eric-wieser/md4lean
a Lean wrapper for the MD4C Markdown parser
eric-wieser/oleandump
A type-aware olean tparser for Lean 4 olean files
eric-wieser/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
eric-wieser/pygments
Pygments is a generic syntax highlighter written in Python
eric-wieser/quote4
Intuitive, type-safe expression quotations for Lean 4.
eric-wieser/reveal.js
The HTML Presentation Framework
eric-wieser/std4
Standard Library for Lean 4
eric-wieser/theorem_proving_in_lean4
Theorem Proving in Lean 4
eric-wieser/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant