-
lean-catdg Public
Aspects of categorical differential geometry, formalised in lean 4.
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedDec 11, 2025 -
formal-conjectures Public
Forked from google-deepmind/formal-conjecturesA collection of formalized statements of conjectures in Lean.
Lean Apache License 2.0 UpdatedAug 21, 2025 -
-
doc-gen4 Public
Forked from leanprover/doc-gen4Document Generator for Lean 4
Lean Apache License 2.0 UpdatedJun 6, 2025 -
peabrainiac.github.io Public
-
FLT Public
Forked from ImperialCollegeLondon/FLTOngoing Lean formalisation of the proof of Fermat's Last Theorem
TeX Apache License 2.0 UpdatedMay 1, 2024 -
hexagonal-gridentify Public
A simple 2048-style browser game, based on gridentify by Three Point Consulting.
JavaScript UpdatedJan 8, 2024 -
black-hole-renderer Public
A webGL raytracer for Schwarzschild black holes.
-
A simple browser addon that greys out video recommendations on youtube.
-
mandelbrotJS Public
an experimental mandelbrot set renderer written in javascript.
-
local-go Public
A portable server for the classic board game Go.
Java MIT License UpdatedSep 14, 2020 -
scratch-gui Public
Forked from scratchfoundation/scratch-guiGraphical User Interface for creating and running Scratch 3.0 projects.
JavaScript BSD 3-Clause "New" or "Revised" License UpdatedJun 27, 2020 -
scratch-www Public
Forked from scratchfoundation/scratch-wwwStandalone web client for Scratch
JavaScript BSD 3-Clause "New" or "Revised" License UpdatedJun 26, 2020 -
scratch-extension Public
A WebExtension for scratch.mit.edu
JavaScript MIT License UpdatedJun 23, 2020 -
Snake3002 Public
A 3D clone of the classic game Snake in javascript and webgl. See https://peabrainiac.github.io/Snake3002
JavaScript UpdatedJun 18, 2020 -
scratch-blocks Public
Forked from scratchfoundation/scratch-blocksScratch Blocks is a library for building creative computing interfaces.
JavaScript Apache License 2.0 UpdatedJun 17, 2020
{{ message }}