neldredge / mathgenLinks
Generate random nonsense math papers
☆612Updated 5 years ago
Alternatives and similar repositories for mathgen
Users that are interested in mathgen are comparing it to the libraries listed below
Sorting:
- An automatic paper generator☆1,144Updated 3 years ago
- Detexify Backend written in Haskell☆914Updated 8 years ago
- Latex Symbol Classifier Web Frontend☆834Updated 2 years ago
- A LaTeX Typesetting Game☆260Updated 8 months ago
- A scholarly message encoder:☆145Updated 10 years ago
- A latex package to draw cute rubber ducks with TikZ☆188Updated last week
- ☆345Updated 7 years ago
- 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
- Instructions and license for Detexify's sample data☆286Updated 4 years ago
- ☆127Updated 2 years ago
- Repository for the QED interactive text and possible extensions☆110Updated 10 months ago
- L-Functions and Modular Forms Database☆278Updated last week
- A math-aware search engine.☆349Updated 2 years ago
- LaTeX facsimile of a Bible de Genève, 1564☆442Updated 2 years ago
- The formal proof of the Kepler conjecture☆165Updated last year
- The Incredible Proof Machine☆386Updated last week
- A concise stack-based golfing language☆791Updated last year
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆336Updated 2 years ago
- A quine generator☆313Updated 7 years ago
- A SymPy version of WolframAlpha.☆703Updated last year
- Style package for directly including color emojis in latex documents☆224Updated 6 years ago
- A tool for analyzing and transforming context-free grammars.☆228Updated 3 weeks ago
- A list of Hanabi strategies☆177Updated 2 weeks ago
- ☆479Updated 4 years ago
- The web front end for Overleaf, a web-based collaborative LaTeX editor☆360Updated 4 years ago
- Sorts an array by downloading snippets from StackOverflow. Inspired by http://xkcd.com/1185/. I'm sorry.☆1,251Updated 2 years ago
- Rubi for Mathematica☆251Updated last year
- A Powerpoint CPU☆94Updated 4 years ago
- metamath proof enumerators and other things☆92Updated last month
- Java implementations of sequences in the OEIS☆68Updated this week