yishn / reticule
A new way to write and explore mathematical texts.
☆23Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for reticule
- A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface☆102Updated 2 months ago
- Patoline typesetting system☆184Updated 2 years ago
- Convert TeX's pascal to javascript☆114Updated 3 years ago
- Pandoc filter to render math equations using KaTeX☆33Updated last year
- Tim Button's open textbook on set theory☆30Updated last year
- Replace Unicode symbols by equivalent Latex commands☆27Updated 7 months ago
- "A First Course in Linear Algebra" open source textbook☆65Updated last month
- embed LaTeX formulas into LaTeX☆27Updated 8 months ago
- The glitch-soc/Mastodon fork running on types.pl☆18Updated 4 months ago
- Mirror of ConTeXt beta source code☆56Updated last year
- A LaTeX reproduction of "Persecution of New Ideas" by C. L. Blood☆67Updated 9 years ago
- LaTeX package for fixing margin notes☆18Updated last year
- A Rosetta stone for modern typesetting engines.☆34Updated this week
- A relational interpretation of Lojban☆32Updated last week
- Repository for the QED interactive text and possible extensions☆96Updated 5 years ago
- ☆34Updated last year
- A file-based mirror of the nLab wiki (HTML format).☆23Updated this week
- Commutative diagrams with TikZ☆46Updated 2 years ago
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆22Updated last year
- A community database of topological counterexamples☆72Updated this week
- Kan: A browser extension for reading nLab☆25Updated 6 years ago
- Algebra Number Theory book☆47Updated 2 years ago
- Collection of animals and other beings drawn in TikZ☆90Updated last month
- PreTeXt: an authoring and publishing system for scholarly documents☆267Updated this week
- LALR Javascript LaTeX-to-MathML converter compatible with Unicode☆130Updated last week
- Examples of technical drawing with John Hobby's MetaPost language☆41Updated this week
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 4 years ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆16Updated 7 months ago
- ☆51Updated last year