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
hexagonal-gridentify
A simple 2048-style browser game, based on gridentify by Three Point Consulting.
lean-orbifolds
An attempt at formalising the basics of diffeological spaces and orbifolds in the lean proof assistant.
local-go
A portable server for the classic board game Go.
mathlib4
The math library of Lean 4
scratch-blocks
Scratch Blocks is a library for building creative computing interfaces.
scratch-extension
A WebExtension for scratch.mit.edu
scratch-gui
Graphical User Interface for creating and running Scratch 3.0 projects.
scratch-www
Standalone web client for Scratch