yishn / reticule
A new way to write and explore mathematical texts.
☆23Updated 7 years ago
Alternatives and similar repositories for reticule:
Users that are interested in reticule are comparing it to the libraries listed below
- Tag-based webview of LaTeX documents☆28Updated last year
- Kan: A browser extension for reading nLab☆26Updated 6 years ago
- A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface☆104Updated 6 months ago
- Patoline typesetting system☆191Updated 2 years ago
- The glitch-soc/Mastodon fork running on types.pl☆22Updated last week
- A semantic Extension of TeX/LaTeX☆52Updated last week
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- A sudoku game where you have to prove that your deductions are valid☆114Updated 2 years ago
- ☆38Updated last year
- Replace Unicode symbols by equivalent Latex commands☆28Updated 11 months ago
- Write LaTeX theorems in Pandoc Markdown☆76Updated last year
- some maths papers in English☆18Updated last month
- A file-based mirror of the nLab wiki (HTML format).☆24Updated this week
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- Mirror of ConTeXt beta source code☆56Updated 2 years ago
- Commutative diagrams with TikZ☆49Updated 2 years ago
- A relational interpretation of Lojban☆33Updated last month
- Synchronization for TeX☆75Updated 2 months ago
- "A First Course in Linear Algebra" open source textbook☆67Updated 5 months ago
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆22Updated 2 years ago
- Pandoc filter to render math equations using KaTeX☆35Updated last year
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆28Updated this week
- Repository for the QED interactive text and possible extensions☆96Updated last month
- CoDi: Commutative Diagrams for TeX☆30Updated 11 months ago
- Device independent (DVI) file format parsing with node☆31Updated 10 months ago
- Examples of technical drawing with John Hobby's MetaPost language☆47Updated last month
- A modern string diagram editor for the web.☆20Updated last year
- Python package to convert LaTeX markup to DOM☆14Updated last month
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆31Updated last month
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago