Alternatives and similar repositories for mathgen

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

• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 2 months ago
• samcarter / tikzducks
  A latex package to draw cute rubber ducks with TikZ
  ☆179Updated 3 weeks ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆909Updated 8 years ago
• strib / scipher
  A scholarly message encoder:
  ☆143Updated 10 years ago
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆283Updated 3 years ago
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆828Updated 2 years ago
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆272Updated this week
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆102Updated 5 months ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆182Updated 4 years ago
• KeelyHill / tuppers-formula
  A small web app that allows the simple creation and decoding of Tupper's self-referential formula.
  ☆81Updated 2 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆63Updated this week
• flintlib / flint
  FLINT (Fast Library for Number Theory)
  ☆506Updated last week
• drsam94 / Spl
  A Compiler for the Shakespeare Programming Language Written in Python. Compiles from SPL to C.
  ☆81Updated 3 years ago
• raphink / geneve_1564
  LaTeX facsimile of a Bible de Genève, 1564
  ☆427Updated 2 years ago
• cdchoy / ppcc
  A Powerpoint CPU
  ☆92Updated 4 years ago
• elsehow / aaronson-oracle
  Press the 'f' and 'd' keys randomly. It's easy. Just use your "free will."
  ☆841Updated 6 years ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆84Updated this week
• nomeata / incredible
  The Incredible Proof Machine
  ☆377Updated 3 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆114Updated last year
• alecjacobson / coloremoji.sty
  Style package for directly including color emojis in latex documents
  ☆222Updated 6 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆156Updated last year
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• mrgriscom / minesweepr
  a minesweeper solver and html5 game client
  ☆68Updated 3 years ago
• superpermutators / superperm
  ☆126Updated last year
• histocrat / hello_world
  ☆40Updated 9 years ago
• rchurchley / beamercolortheme-owl
  A Beamer colour theme that maximizes visibility in dark and unfavourable conditions
  ☆294Updated 7 years ago
• samcarter / tikzlings
  Collection of animals and other beings drawn in TikZ
  ☆97Updated 3 weeks ago
• MITGameLab / OpenRelativity
  An open source framework to add the effects of traveling at relativistic speeds to visualizations or games
  ☆739Updated last year
• Timwi / EsotericIDE
  IDE (Interpreter/Debugger Engine) for esoteric programming languages. Allows step-by-step debugging and shows a watch window during debug…
  ☆171Updated last year
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆392Updated this week