Alternatives and similar repositories for mathgen

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

• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆915Updated 8 years ago
• strib / scigen
  An automatic paper generator
  ☆1,140Updated 3 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆258Updated 7 months ago
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆835Updated 2 years ago
• bgschiller / latex-therefore
  Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …
  ☆201Updated 8 years ago
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• approach0 / search-engine
  A math-aware search engine.
  ☆347Updated last year
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆287Updated 4 years ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆277Updated this week
• samcarter / tikzducks
  A latex package to draw cute rubber ducks with TikZ
  ☆186Updated last week
• strib / scipher
  A scholarly message encoder:
  ☆145Updated 10 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆106Updated 9 months ago
• alecjacobson / coloremoji.sty
  Style package for directly including color emojis in latex documents
  ☆224Updated 6 years ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆301Updated last year
• Adriandmen / 05AB1E
  A concise stack-based golfing language
  ☆786Updated 11 months ago
• raphink / geneve_1564
  LaTeX facsimile of a Bible de Genève, 1564
  ☆439Updated 2 years ago
• drsam94 / Spl
  A Compiler for the Shakespeare Programming Language Written in Python. Compiles from SPL to C.
  ☆82Updated 4 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆183Updated 4 years ago
• stacks / stacks-project
  Repository for the Stacks Project
  ☆964Updated last week
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆394Updated last week
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆251Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated this week
• mrgriscom / minesweepr
  a minesweeper solver and html5 game client
  ☆70Updated 4 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆258Updated last year
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆85Updated last year
• nomeata / incredible
  The Incredible Proof Machine
  ☆383Updated 8 months ago
• superpermutators / superperm
  ☆127Updated 2 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆164Updated last year
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆366Updated 2 weeks ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆330Updated 2 years ago