a Lean wrapper for the MD4C Markdown parser

Solve puzzles. Improve your pytorch.

Formalizing stochastic doubly-efficient debate

Statistical Rethinking course winter 2022

Developing mathematics in Coq from the ground up

Mathematics of Rigid Body Transformationss using Coq and MathComp

Geometric Algebra for Python

A Verilog synthesis flow for Minecraft redstone circuits

Lean 3's obsolete mathematical components library: please use mathlib4

Geometric Algebra styled Discrete Exterior Calculus

Transportation planning and traffic simulation software for creating cities friendlier to walking, biking, and public transit

The Complex Number Game. Make the complex numbers in Lean.

Code for working with differential forms in context of control theory on basis of sympy

Terrain rendering algorithm in less than 20 lines of code

Draft of NumPy paper

The source code to VVVVVV! https://thelettervsixtim.es/

A simple package to do symbolic math (focus on code gen and DSLs)

Bond is a cross-platform framework for working with schematized data. It supports cross-language de/serialization and powerful generic mechanisms for efficiently manipulating data. Bond is broadly …

📊 Save matplotlib figures as TikZ/PGFplots for smooth integration into LaTeX.

Geometric Algebra Library

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

Fast robust predicates for computational geometry in JavaScript

Create beautiful diagrams just by typing notation in plain text.

C++ 20 Coroutines in Action (Helpers + Test Code Examples)

Online, client-side Graphviz .dot file viewer

💉 Stuff which works in Chrome and maybe Acrobat and Foxit.

Utilities for manipulating bitfields in register files using Python

A TypeScript-to-Luau Compiler for Roblox