Alternatives and similar repositories for reticule

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

• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆31Updated last year
• xymostech / XymosTeX
  A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface
  ☆104Updated 11 months ago
• xu-cheng / pandoc-katex
  Pandoc filter to render math equations using KaTeX
  ☆35Updated 2 years ago
• patoline / patoline
  Patoline typesetting system
  ☆190Updated 3 years ago
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆29Updated 6 years ago
• thruston / Drawing-with-Metapost
  Examples of technical drawing with John Hobby's MetaPost language
  ☆53Updated 3 weeks ago
• thosgood / translations
  some maths papers in English
  ☆19Updated last month
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• kisonecat / web2js
  Convert TeX's pascal to javascript
  ☆136Updated 3 years ago
• marhop / pandoc-unicode-math
  Replace Unicode symbols by equivalent Latex commands
  ☆28Updated last year
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆104Updated 7 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 2 months ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆107Updated last month
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆54Updated 2 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated 3 weeks ago
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆25Updated this week
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆61Updated 6 months ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆254Updated last year
• iblech / sshlatex
  A collection of hacks to efficiently run LaTeX via ssh
  ☆40Updated 2 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆119Updated last year
• fred-wang / TeXZilla
  LALR Javascript LaTeX-to-MathML converter compatible with Unicode
  ☆144Updated 10 months ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆26Updated 3 weeks ago
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆75Updated last year
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆199Updated 3 months ago
• jlaurens / synctex
  Synchronization for TeX
  ☆77Updated 3 weeks ago
• leanprover-community / mathlib-tools
  Development tools for https://github.com/leanprover-community/mathlib
  ☆34Updated 2 years ago
• ncatlab / nlab
  Source code for the nLab
  ☆183Updated 5 months ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆224Updated 7 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year