peabrainiac

SciLean

Scientific computing in Lean 4

FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

PrimeNumberTheoremAnd

blueprint for prime number theorem and more

mathlib4

The math library of Lean 4

compute.toys

Website source code

SnapPy

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.

Enigmatica6

The official repository and issue-tracker for Enigmatica 6

mathlib3

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

natural_number_game

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

vscode-comment-tagged-templates

Syntax highlighting for JS and TS tagged template strings using comments to specify language

anwesende

Simple attendance registration for universities having pandemics. ("anwesende" is German for "people that are being present".)

ganja.js

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

risikogebiete_deutschland

manim

A community-maintained Python framework for creating mathematical animations.

FragM

Derived from https://github.com/Syntopia/Fragmentarium/

proposals

Tracking ECMAScript Proposals

vscode-innerhtml

innerHTML syntax highlighting for VSCode

proposal-error-cause

TC39 proposal for accumulating errors

latex-emoji

Emoji support in (Lua)LaTeX

KaTeX

Fast math typesetting for the web.

Java-WebSocket

A barebones WebSocket client and server implementation written in 100% Java.

IvarK.github.io

Antimatter Dimensions

1-pixel-wealth

proposal-operator-overloading

covid19

JSON time-series of coronavirus cases (confirmed, deaths and recovered) per country - updated daily

lwjgl3

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, CUDA) and XR (OpenVR, LibOVR, OpenXR) applications.

manim

Animation engine for explanatory math videos