- Berlin, Germany
Stars
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
blueprint for prime number theorem and more
SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the SnapPea kernel written by Jeff Weeks.
The official repository and issue-tracker for Enigmatica 6
Lean 3's obsolete mathematical components library: please use mathlib4
Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
Syntax highlighting for JS and TS tagged template strings using comments to specify language
Simple attendance registration for universities having pandemics. ("anwesende" is German for "people that are being present".)
📐 Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -
A community-maintained Python framework for creating mathematical animations.
Derived from https://github.com/Syntopia/Fragmentarium/
A barebones WebSocket client and server implementation written in 100% Java.
JSON time-series of coronavirus cases (confirmed, deaths and recovered) per country - updated daily
LWJGL is a Java library that enables cross-platform access to popular native APIs useful in the development of graphics (OpenGL, Vulkan, bgfx), audio (OpenAL, Opus), parallel computing (OpenCL, CUD…