Alternatives and similar repositories for TeXnique:

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

• vEnhance / von
  Olympiad problem database
  ☆48Updated 2 weeks ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆337Updated 3 months ago
• samcarter / tikzducks
  A latex package to draw cute rubber ducks with TikZ
  ☆176Updated this week
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated this week
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆86Updated last year
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆308Updated last year
• leanprover-community / lean4game
  Server to host lean games.
  ☆228Updated this week
• ccz181078 / Coq-BB5
  ☆170Updated last month
• jez / latex-homework-class
  A class for homework assignments written in LaTeX.
  ☆152Updated 3 years ago
• vEnhance / dotfiles
  Dot files for Evan Chen (Arch Linux on i3)
  ☆115Updated 2 weeks ago
• leanprover-community / NNG4
  Natural Number Game
  ☆129Updated last month
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated 10 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆225Updated last month
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆334Updated this week
• cjquines / tsqx
  Asymptote preprocessor
  ☆12Updated 2 years ago
• vEnhance / otis-web
  OTIS course management system
  ☆41Updated 2 weeks ago
• samcarter / tikzlings
  Collection of animals and other beings drawn in TikZ
  ☆91Updated this week
• 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 …
  ☆197Updated 8 years ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆187Updated last year
• gillescastel / masterthesis
  Master Thesis
  ☆187Updated 3 years ago
• leanprover / elan
  The Lean version manager
  ☆333Updated 2 weeks ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆64Updated last year
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆17Updated last year
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆71Updated this week
• ncatlab / nlab
  Source code for the nLab
  ☆159Updated last month
• neldredge / mathgen
  Generate random nonsense math papers
  ☆568Updated 4 years ago
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆383Updated 2 weeks ago
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆127Updated this week
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,305Updated this week
• roed314 / seminars
  Listing of online math seminars
  ☆42Updated 4 months ago