Pinned Loading

1. peabrainiac.github.io peabrainiac.github.io Public

   JavaScript 3 3

2. mandelbrotJS mandelbrotJS Public

   an experimental mandelbrot set renderer written in javascript.

   JavaScript 4

3. black-hole-renderer black-hole-renderer Public

   A webGL raytracer for Schwarzschild black holes.

   JavaScript 5

4. youtube-recommendation-blocker youtube-recommendation-blocker Public

   A simple browser addon that greys out video recommendations on youtube.

   JavaScript 8 2

5. Snake3002 Snake3002 Public

   A 3D clone of the classic game Snake in javascript and webgl. See https://peabrainiac.github.io/Snake3002

   JavaScript

6. lean-orbifolds lean-orbifolds Public

   An attempt at formalising the basics of diffeological spaces and orbifolds in the lean proof assistant.

   Lean 1 1