peabrainiac's repositories
youtube-recommendation-blocker
A simple browser addon that greys out video recommendations on youtube.
black-hole-renderer
A webGL raytracer for Schwarzschild black holes.
mandelbrotJS
an experimental mandelbrot set renderer written in javascript.
FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Language:TeXApache-2.0000
hexagonal-gridentify
A simple 2048-style browser game, based on gridentify by Three Point Consulting.
Language:JavaScript000
lean-orbifolds
An attempt at formalising the basics of diffeological spaces and orbifolds in the lean proof assistant.
Language:Lean000
local-go
A portable server for the classic board game Go.
Language:JavaMIT000
mathlib4
The math library of Lean 4
Language:LeanApache-2.0000
Language:Lean000
scratch-blocks
Scratch Blocks is a library for building creative computing interfaces.
Language:JavaScriptApache-2.0000
scratch-extension
A WebExtension for scratch.mit.edu
Language:JavaScriptMIT000
scratch-gui
Graphical User Interface for creating and running Scratch 3.0 projects.
Language:JavaScriptBSD-3-Clause000
scratch-www
Standalone web client for Scratch
Language:JavaScriptBSD-3-Clause000