yishn / reticuleLinks
A new way to write and explore mathematical texts.
☆23Updated 8 years ago
Alternatives and similar repositories for reticule
Users that are interested in reticule are comparing it to the libraries listed below
Sorting:
- Tag-based webview of LaTeX documents☆31Updated last year
- A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface☆104Updated last year
- Patoline typesetting system☆194Updated 3 years ago
- Pandoc filter to render math equations using KaTeX☆37Updated 2 years ago
- Convert TeX's pascal to javascript☆143Updated 4 years ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- The Principia Rewrite☆228Updated last month
- Kan: A browser extension for reading nLab☆32Updated 7 years ago
- Hevea is a fast latex to html translator☆114Updated 2 months ago
- A semantic Extension of TeX/LaTeX☆55Updated 3 weeks ago
- Repository for the QED interactive text and possible extensions☆113Updated 11 months ago
- Write LaTeX theorems in Pandoc Markdown☆74Updated 2 years ago
- A program for drawing knots and links, with support for importing images☆33Updated last year
- some maths papers in English☆19Updated 2 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆76Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- Tim Button's open textbook on set theory☆40Updated 6 months ago
- Book about using Lean with How To Prove It☆25Updated 3 weeks ago
- Synchronization for TeX☆81Updated 5 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Replace Unicode symbols by equivalent Latex commands☆29Updated 3 months ago
- Collection of animals and other beings drawn in TikZ☆97Updated last week
- Commutative diagrams with TikZ☆54Updated 3 years ago
- Examples of technical drawing with John Hobby's MetaPost language☆55Updated last week
- Device independent (DVI) file format parsing with node☆34Updated last year
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆131Updated 4 months ago
- Source code for the nLab☆199Updated 9 months ago
- A relational interpretation of Lojban☆34Updated 5 months ago
- An in-browser Beamer presentation viewer☆17Updated 2 years ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆40Updated 5 months ago