Top Repositories
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
Repositories
297x64 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
Tools for converting ROS messages to and from numpy arrays
A project to digitalise results from physics into Lean.
Ring-buffer implementation that thinly wraps a numpy array
The matrix cookbook, proved in the Lean theorem prover
The Lean Computer Science Library (CSLib)
(Mirror) A Machine-to-Machine Interaction System for Lean 4
No description provided.
Solving the* Navier Stokes Millenium problem in Lean
Arduino stream wrappers for nanopb
Default channel file for Package Control. Follow the directions at:
Python scrapers for extracting bank statements from tesco, santander, and lloyds in the QIF format
Lean 4 programming language and theorem prover
An interactive viewer for the mathlib import graph
A lightweight LLVM python binding for writing JIT compilers
Numpy main repository
Protocol Buffers - Google's data interchange format
CaDiCaL SAT Solver
No description provided.
A Lean companion to Analysis I
(My fork of) The math library of Lean 4
A readonly github repository client for computercraft
No description provided.
testing fork...
An arduino library for framing protocols, inspired by PacketSerial
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.
A Machine-to-Machine Interaction System for Lean 4.
No description provided.