akshayravikumar / TeXniqueLinks
A LaTeX Typesetting Game
☆258Updated 6 months ago
Alternatives and similar repositories for TeXnique
Users that are interested in TeXnique are comparing it to the libraries listed below
Sorting:
- Olympiad problem database☆53Updated 3 weeks ago
- A latex package to draw cute rubber ducks with TikZ☆186Updated last week
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆330Updated 2 years ago
- amateur translation project of Grothendieck's EGA.☆363Updated last week
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆300Updated last year
- Repository for the QED interactive text and possible extensions☆106Updated 9 months ago
- Source files for https://web.evanchen.cc☆58Updated this week
- Asymptote preprocessor☆17Updated 4 months ago
- Automated generation of planar geometry olympiad problems☆98Updated 2 years ago
- OTIS course management system☆45Updated 2 weeks ago
- A class for homework assignments written in LaTeX.☆156Updated 4 years ago
- ☆344Updated last month
- TikZJax is TikZ running under WebAssembly in the browser☆524Updated last year
- An online math contest platform☆22Updated 3 weeks ago
- Dot files for Evan Chen (Arch Linux on i3)☆128Updated 2 weeks ago
- A wiki for collaborative work on totally legitimate "category theory"☆123Updated last year
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆121Updated last year
- Instructions and license for Detexify's sample data☆287Updated 4 years ago
- Detexify Backend written in Haskell☆914Updated 8 years ago
- Latex Symbol Classifier Web Frontend☆834Updated 2 years ago
- Natural Number Game☆233Updated 3 weeks ago
- Server to host lean games.☆330Updated this week
- A browser extension to convert TeX to Unicode in browser inputs.☆63Updated 2 months ago
- Collaboration / Topic requests for SoME☆210Updated 2 years ago
- Olympiad GeoGuessr☆18Updated 7 months ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆104Updated last week
- A survey of known lower bounds in arithmetic circuits.☆32Updated 3 years ago
- Source code for the nLab☆188Updated 7 months ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆160Updated last year
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆17Updated 3 years ago