akshayravikumar / TeXniqueLinks
A LaTeX Typesetting Game
☆249Updated 2 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☆48Updated last month
- Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …☆200Updated 8 years ago
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆319Updated last year
- Master Thesis☆198Updated 3 years ago
- Olympiad GeoGuessr☆16Updated 2 months ago
- A latex package to draw cute rubber ducks with TikZ☆179Updated this week
- PreTeXt: an authoring and publishing system for scholarly documents☆288Updated this week
- A class for homework assignments written in LaTeX.☆152Updated 4 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆111Updated 11 months ago
- amateur translation project of Grothendieck's EGA.☆347Updated 7 months ago
- Automated generation of planar geometry olympiad problems☆91Updated last year
- OTIS course management system☆40Updated last week
- Collection of animals and other beings drawn in TikZ☆97Updated last week
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year
- Dot files for Evan Chen (Arch Linux on i3)☆118Updated this week
- Asymptote preprocessor☆14Updated this week
- 🐧 Penguins in LaTeX with TikZ☆75Updated last month
- ☆307Updated 2 months ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆296Updated last year
- Listing of online math seminars☆43Updated 8 months ago
- Source code for the nLab☆175Updated 2 months ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆461Updated this week
- Natural Number Game☆167Updated 2 months ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆83Updated this week
- TikZJax is TikZ running under WebAssembly in the browser☆500Updated 10 months ago
- Server to host lean games.☆269Updated last week
- An online math contest platform☆19Updated 2 months ago
- LaTeX code for some of my lecture notes☆344Updated 3 years ago
- Repository for the QED interactive text and possible extensions☆100Updated 4 months ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆45Updated this week