dodoturkoz's Stars
3b1b/manim
Animation engine for explanatory math videos
sibirbil/IMO2020
İstanbul'da Makine Öğrenmesi (27 Ocak- 2 Şubat, 2020) - Ders malzemeleri
davidADSP/SIMPLE
Selfplay In MultiPlayer Environments
soraxas/echo360
Commandline tool for automated downloads of echo360 videos hosted by university
PatrickMassot/leanblueprint
plasTeX plugin to build formalization blueprints.
blanchette/logical_verification_2020
Companion files for Logical Verification 2020–2021 at VU Amsterdam
dwrensha/compfiles
Catalog Of Math Problems Formalized In Lean
linrock/chess-puzzle-maker
Creates chess puzzles from chess games and positions
Multramate/IC-GANT
Imperial College London lecture notes for Geometry, Algebra, and Number Theory
YaelDillies/LeanCamCombi
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
IPDSnelting/tba-2022
Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
alcides/AoC2021Lean4
My Solutions using Lean 4 for the 2021 edition of the Advent of Code
mortarsanjaya/IMOSLLean4
Formalization of IMO shortlist problems in Lean 4
PhotonSpheres/ManimProjects
Just some unsorted Manim projects
brsr/mapstuff
Map projections (under construction)
mgsium/102_comb_lean
Lean proofs of (some) problems from the book "102 Combinatorial Problems"