dodoturkoz

dodoturkoz's Stars

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python61.8k8861.1k5.8k

• sibirbil/IMO2020

  İstanbul'da Makine Öğrenmesi (27 Ocak- 2 Şubat, 2020) - Ders malzemeleri

  Language:Python36262161

• davidADSP/SIMPLE

  Selfplay In MultiPlayer Environments

  Language:Python2961626105

• soraxas/echo360

  Commandline tool for automated downloads of echo360 videos hosted by university

  Language:Python25896750

• PatrickMassot/leanblueprint

  plasTeX plugin to build formalization blueprints.

  Language:Python15191325

• blanchette/logical_verification_2020

  Companion files for Logical Verification 2020–2021 at VU Amsterdam

  Language:Lean9618514

• dwrensha/compfiles

  Catalog Of Math Problems Formalized In Lean

  Language:Lean894315

• linrock/chess-puzzle-maker

  Creates chess puzzles from chess games and positions

  Language:Python626720

• Multramate/IC-GANT

  Imperial College London lecture notes for Geometry, Algebra, and Number Theory

  Language:TeX34306

• YaelDillies/LeanCamCombi

  Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean

  Language:Lean33528

• IPDSnelting/tba-2022

  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition

  Language:Lean16902

• alcides/AoC2021Lean4

  My Solutions using Lean 4 for the 2021 edition of the Advent of Code

  Language:Lean730

• mortarsanjaya/IMOSLLean4

  Formalization of IMO shortlist problems in Lean 4

  Language:Lean720

• PhotonSpheres/ManimProjects

  Just some unsorted Manim projects

  Language:Python50

• brsr/mapstuff

  Map projections (under construction)

  Language:Python4100

• mgsium/102_comb_lean

  Lean proofs of (some) problems from the book "102 Combinatorial Problems"

  Language:Lean4201