Pinned Repositories
black-hole-renderer
A webGL raytracer for Schwarzschild black holes.
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.
mandelbrotJS
an experimental mandelbrot set renderer written in javascript.
mathlib4
The math library of Lean 4
peabrainiac.github.io
Snake3002
A 3D clone of the classic game Snake in javascript and webgl. See https://peabrainiac.github.io/Snake3002
youtube-recommendation-blocker
A simple browser addon that greys out video recommendations on youtube.
peabrainiac's Repositories
peabrainiac/youtube-recommendation-blocker
A simple browser addon that greys out video recommendations on youtube.
peabrainiac/black-hole-renderer
A webGL raytracer for Schwarzschild black holes.
peabrainiac/mandelbrotJS
an experimental mandelbrot set renderer written in javascript.
peabrainiac/peabrainiac.github.io
peabrainiac/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
peabrainiac/hexagonal-gridentify
A simple 2048-style browser game, based on gridentify by Three Point Consulting.
peabrainiac/lean-orbifolds
An attempt at formalising the basics of diffeological spaces and orbifolds in the lean proof assistant.
peabrainiac/local-go
A portable server for the classic board game Go.
peabrainiac/mathlib4
The math library of Lean 4
peabrainiac/pfr
peabrainiac/scratch-blocks
Scratch Blocks is a library for building creative computing interfaces.
peabrainiac/scratch-extension
A WebExtension for scratch.mit.edu
peabrainiac/scratch-gui
Graphical User Interface for creating and running Scratch 3.0 projects.
peabrainiac/Snake3002
A 3D clone of the classic game Snake in javascript and webgl. See https://peabrainiac.github.io/Snake3002
peabrainiac/scratch-www
Standalone web client for Scratch