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
  ☆47Updated 2 months ago
• Mesabloo / nihil
  Nihil, a statically typed interpreted functional programming language
  ☆69Updated 4 years ago
• Astremy / Piscord
  ☆32Updated 2 years ago
• zardam / nw-external-apps
  External application installer for N110 calculators
  ☆12Updated 4 years ago
• ilianette / douki
  Douki-next (同期『ネクスト』) is a synchronization software for anilist and myanimelist.
  ☆10Updated 4 years ago
• nathan-trioleyre / flush
  Programming language written in Rust.
  ☆12Updated 2 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆258Updated 7 months ago
• Omega-Numworks / Omega
  Omega 2.0, the next evolution of Epsilon! Now available for your Numworks calculator!
  ☆346Updated last year
• pi-base / data
  A community database of topological counterexamples
  ☆132Updated this week
• ncatlab / nlab
  Source code for the nLab
  ☆189Updated 8 months ago
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆32Updated last month
• haltode / raytracer
  An experimental raytracer in LaTeX
  ☆30Updated 3 years ago
• enjeck / num2math
  Complicated math expression generator
  ☆102Updated last year
• shika-blyat / kamai
  A schwifty programming language made by a former out of school space cucumber
  ☆31Updated 4 years ago
• CacahueteSansSel / leterminal
  A little UNIX-inspired terminal application for the Numworks Calculator.
  ☆22Updated 2 years ago
• ccz181078 / Coq-BB5
  ☆348Updated 2 months ago
• leanprover-community / NNG4
  Natural Number Game
  ☆250Updated last month
• quentinguidee / cloud-sh-client
  ☁️ cloud.sh is a lightweight self-hosted cloud for your home lab.
  ☆16Updated 3 years ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆219Updated last month
• leanprover-community / lean4game
  Server to host lean games.
  ☆344Updated last week
• Firmaprim / MTbot
  Code source du bot du Discord de Mathraining
  ☆12Updated 9 months ago
• JoachimFavre / UniversityNotes
  Typed notes I took during university lectures, containing computer science, maths and physics classes from EPFL. Most are in English.
  ☆112Updated 3 weeks ago
• leanprover-community / tutorials
  Some Lean tutorials
  ☆183Updated 2 years ago
• vEnhance / von
  Olympiad problem database
  ☆54Updated last month
• ArtichOwO / ArtichOS
  A useless 16 bit OS. I can't even call it an OS for now.
  ☆12Updated 2 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆126Updated last year
• felko / linear-algebra
  Linear algebra formalization in Agda
  ☆16Updated 5 years ago
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆62Updated 2 months ago
• Syycorax / gofork
  Gofork is a CLI tool to find forks that are ahead of a github repository.
  ☆16Updated last year
• exo7math / cours-exo7
  Cours d'Exo7
  ☆52Updated 4 months ago