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 4 months ago
• nathan-trioleyre / flush
  Programming language written in Rust.
  ☆12Updated 3 years ago
• CacahueteSansSel / leterminal
  A little UNIX-inspired terminal application for the Numworks Calculator.
  ☆22Updated 3 years ago
• 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 4 years ago
• zardam / nw-external-apps
  External application installer for N110 calculators
  ☆12Updated 2 months ago
• Omega-Numworks / Omega
  Omega 2.0, the next evolution of Epsilon! Now available for your Numworks calculator!
  ☆347Updated 2 years ago
• haltode / raytracer
  An experimental raytracer in LaTeX
  ☆30Updated 4 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
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 10 months ago
• Firmaprim / MTbot
  Code source du bot du Discord de Mathraining
  ☆12Updated last year
• quentinguidee / cloud-sh-client
  ☁️ cloud.sh is a lightweight self-hosted cloud for your home lab.
  ☆16Updated 3 years ago
• Astremy / Piscord
  ☆32Updated 2 years ago
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆74Updated last month
• ilianette / douki
  Douki-next (同期『ネクスト』) is a synchronization software for anilist and myanimelist.
  ☆10Updated 4 years ago
• ArtichOwO / ArtichOS
  A useless 16 bit OS. I can't even call it an OS for now.
  ☆12Updated 3 years ago
• leanprover-community / NNG4
  Natural Number Game
  ☆285Updated last month
• nw-rs / citrus-cas
  CAS (Computer Algebra System) written in Rust for no_std environments.
  ☆16Updated 2 years ago
• ccz181078 / Coq-BB5
  ☆356Updated 4 months ago
• Tim-ats-d / Postem-markup
  Fast and easy notes taking oriented markup language.
  ☆22Updated 3 years ago
• felko / linear-algebra
  Linear algebra formalization in Agda
  ☆16Updated 6 years ago
• vEnhance / von
  Olympiad problem database
  ☆54Updated 3 weeks ago
• Syycorax / gofork
  Gofork is a CLI tool to find forks that are ahead of a github repository.
  ☆16Updated last year
• ArtichOwO / 4channer
  Unofficial 4chan read-only client for iPhone and iPad
  ☆10Updated 3 years ago
• catabriga / graphwar
  ☆286Updated 3 years ago
• vanilla-extracts / ocaml-baguettesharp-interpreter
  OCaml Implementation of the (famous) Baguette# exotic language, used as TIPE for the 2022,2023 seasons concours
  ☆31Updated 11 months ago
• lasercata / MP2I
  Some MP2I and MPI courses
  ☆16Updated 2 years ago
• UpsilonNumworks / Upsilon-website
  ☆12Updated 4 months ago
• quentinguidee / cloud-sh-server
  ☁️ cloud.sh is a lightweight self-hosted cloud for your home lab.
  ☆16Updated 3 years ago
• Zezombye / BIDE
  ☆10Updated 3 years ago