Alternatives and similar repositories for mathraining

Users that are interested in mathraining are comparing it to the libraries listed below

• prepas-mp2i / prepas-mp2i.fr
  Présentation des classes préparatoires MP2I et MPI
  ☆48Updated this week
• Mesabloo / nihil
  Nihil, a statically typed interpreted functional programming language
  ☆69Updated 4 years ago
• shika-blyat / kamai
  A schwifty programming language made by a former out of school space cucumber
  ☆31Updated 3 years ago
• wyx0-xyz / flush
  Programming language written in Rust.
  ☆12Updated 2 years ago
• zardam / nw-external-apps
  External application installer for N110 calculators
  ☆12Updated 4 years ago
• CacahueteSansSel / leterminal
  A little UNIX-inspired terminal application for the Numworks Calculator.
  ☆21Updated 2 years ago
• leanprover-community / NNG4
  Natural Number Game
  ☆208Updated this week
• leanprover-community / format_lean
  A Lean file formatter
  ☆68Updated 2 years ago
• haltode / raytracer
  An experimental raytracer in LaTeX
  ☆30Updated 3 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆255Updated 5 months ago
• nw-rs / rustworks
  Operating system written in Rust for NumWorks calculator (model n0110)
  ☆38Updated 2 years ago
• ccz181078 / Coq-BB5
  ☆328Updated 5 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆119Updated last year
• Astremy / Piscord
  ☆32Updated 2 years ago
• SimonHauguel / Paso
  Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system
  ☆29Updated 3 years ago
• ilianette / douki
  Douki-next (同期『ネクスト』) is a synchronization software for anilist and myanimelist.
  ☆10Updated 4 years ago
• vEnhance / von
  Olympiad problem database
  ☆53Updated last week
• EasyKayzey / CASprzak
  CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)
  ☆11Updated last month
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• felko / linear-algebra
  Linear algebra formalization in Agda
  ☆16Updated 5 years ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆105Updated last month
• Omega-Numworks / Omega
  Omega 2.0, the next evolution of Epsilon! Now available for your Numworks calculator!
  ☆337Updated last year
• glassus / nsi
  Cours de NSI - Lycée François Mauriac - Bordeaux
  ☆34Updated 3 years ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆67Updated last week
• ncatlab / nlab
  Source code for the nLab
  ☆183Updated 5 months ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆30Updated 3 years ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆311Updated this week
• Firmaprim / MTbot
  Code source du bot du Discord de Mathraining
  ☆13Updated 7 months ago
• leanprover-community / tutorials
  Some Lean tutorials
  ☆183Updated last year
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year