3b1b / captions

Related projects ⓘ

Alternatives and complementary repositories for captions

• howard36 / probase
  An online math contest platform
  ☆17Updated this week
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆135Updated this week
• leanprover-community / lean4game
  Server to host lean games.
  ☆189Updated this week
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆245Updated this week
• paralogical / glish
  map all words to single-syllable version
  ☆265Updated last week
• SheafificationOfG / Fibsonicci
  Source code for a video on computing Fibonacci numbers efficiently
  ☆79Updated 3 months ago
• vqbc / trivial
  Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.
  ☆40Updated this week
• paralogical / rarest-move-in-chess
  Analyze compressed chess pgn files to determine the rarest move
  ☆255Updated 2 weeks ago
• Infinite-Chess / infinitechess.org
  Infinite Chess Web Server
  ☆186Updated this week
• 3b1b / 3Blue1Brown.com
  ☆398Updated this week
• ManimCommunity / awesome-manim
  A database with many Manim users and content creators
  ☆268Updated last month
• lean-dojo / LeanDojo
  Tool for data extraction and interacting with Lean programmatically.
  ☆569Updated 3 weeks ago
• cjquines / tsqx
  Asymptote preprocessor
  ☆12Updated 2 years ago
• ManimCommunity / manim_editor
  Web Presenter for Mathematical Animations using Manim.
  ☆279Updated 3 months ago
• fcrozatier / champagne
  champagne
  ☆32Updated 9 months ago
• ccz181078 / Coq-BB5
  ☆156Updated this week
• vEnhance / otis-web
  OTIS course management system
  ☆40Updated this week
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆136Updated this week
• MathItYT / manim-studio
  A GUI to easier make Manim animations
  ☆55Updated 7 months ago
• SebLague / Tiny-Chess-Bot-Challenge-Results
  Results of the Tiny Chess Bot Challenge
  ☆104Updated 10 months ago
• enjeck / num2math
  Complicated math expression generator
  ☆97Updated 4 months ago
• Laz4rz / GPT-2
  Following master Karpathy with GPT-2 implementation and training, writing lots of comments cause I have memory of a goldfish
  ☆167Updated 3 months ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆264Updated 2 weeks ago
• mikepound / cubes
  This code calculates all the variations of 3D polycubes for any size (time permitting!)
  ☆165Updated last year
• leanprover-community / mathlib4
  The math library of Lean 4
  ☆1,523Updated this week
• shaRk-033 / ai.c
  gpt written in plain c
  ☆114Updated 2 months ago
• jeertmans / manim-slides
  Tool for live presentations using manim
  ☆478Updated this week
• lean-dojo / LeanCopilot
  LLMs as Copilots for Theorem Proving in Lean
  ☆988Updated last week
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆208Updated this week
• Matheart / manim-physics
  Physics simulation plugin of Manim that can generate scenes in various branches of Physics.
  ☆317Updated 3 months ago