Starred repositories
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
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
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.
π 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)
pfalcon / wdot
Forked from mdaines/viz-jsOnline, 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