Alternatives and similar repositories for reticule:

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

• patoline / patoline
  Patoline typesetting system
  ☆186Updated 2 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated 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 5 months ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 2 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆50Updated 4 years ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 4 months ago
• leanprover / lean-client-js
  ☆37Updated last year
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆47Updated 2 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆32Updated last year
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆99Updated 7 months ago
• xu-cheng / pandoc-katex
  Pandoc filter to render math equations using KaTeX
  ☆35Updated last year
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆76Updated last year
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 3 weeks ago
• pgundlach / lvdebug
  LuaTeX package lua-visual-debug
  ☆17Updated 2 years ago
• mk12 / vim-lean
  Lean Theorem Prover plugin for Vim.
  ☆16Updated 3 years ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆57Updated 4 months ago
• Omikhleia / resilient.sile
  Advanced book classes and packages for the SILE typesetting system: A path for making books from front cover to back cover.
  ☆32Updated 2 weeks ago
• complex-analysis / source
  This repository contains the source html files for the website complex-analysis.com
  ☆12Updated 3 weeks ago
• kisonecat / web2js
  Convert TeX's pascal to javascript
  ☆120Updated 3 years ago
• loopspace / spath3
  TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.
  ☆19Updated 6 months ago
• Krasjet / karasu
  A self-hosted remote communication system designed for math discussions.
  ☆39Updated 4 years ago
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆23Updated this week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆104Updated 7 months ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆22Updated last month
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆29Updated last year
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated 3 weeks ago
• lierdakil / mathjax-pandoc-filter
  Nodejs implementation of pandoc filter to turn TeX math into embedded SVG
  ☆22Updated 2 years ago
• thosgood / translations
  some maths papers in English
  ☆18Updated 3 months ago