Skip to content
View peabrainiac's full-sized avatar

Organizations

@ShaderScratch

Block or report peabrainiac

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Repository for the Stacks Project

TeX 859 152 Updated Sep 18, 2024

Scientific computing in Lean 4

Lean 324 29 Updated Nov 10, 2024

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

Lean 245 48 Updated Nov 10, 2024

blueprint for prime number theorem and more

Lean 135 27 Updated Nov 8, 2024

The math library of Lean 4

Lean 1,527 336 Updated Nov 11, 2024

Website source code

TypeScript 92 8 Updated Nov 4, 2024

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.

C 87 41 Updated Nov 10, 2024

The official repository and issue-tracker for Enigmatica 6

JavaScript 242 517 Updated Oct 14, 2024

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

Lean 1,666 298 Updated Jun 28, 2024

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

Lean 292 73 Updated Mar 9, 2024

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

JavaScript 165 30 Updated Jul 14, 2024

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

Python 18 4 Updated Apr 6, 2022

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

JavaScript 1,521 108 Updated Jan 20, 2024
JavaScript 95 17 Updated Nov 11, 2024

A community-maintained Python framework for creating mathematical animations.

Python 26,034 1,786 Updated Nov 10, 2024

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

C++ 353 30 Updated Jul 10, 2023

Tracking ECMAScript Proposals

18,300 717 Updated Nov 4, 2024

innerHTML syntax highlighting for VSCode

9 2 Updated Mar 23, 2023

TC39 proposal for accumulating errors

HTML 379 9 Updated Oct 26, 2021

Emoji support in (Lua)LaTeX

TeX 66 11 Updated Nov 18, 2023

Fast math typesetting for the web.

JavaScript 18,394 1,181 Updated Nov 10, 2024

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

Java 10,522 2,578 Updated Jul 14, 2024

Antimatter Dimensions

JavaScript 285 236 Updated Oct 2, 2023

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

JavaScript 1,228 374 Updated Mar 10, 2023

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…

Java 4,809 639 Updated Oct 24, 2024

Animation engine for explanatory math videos

Python 70,446 6,196 Updated Oct 27, 2024