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
- Pandoc filter to render math equations using KaTeX☆35Updated 2 years ago
- A sudoku game where you have to prove that your deductions are valid☆116Updated 3 years ago
- A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface☆104Updated last year
- The Principia Rewrite☆227Updated 8 months ago
- Patoline typesetting system☆192Updated 3 years ago
- Repository for the QED interactive text and possible extensions☆105Updated 8 months ago
- Convert TeX's pascal to javascript☆138Updated 4 years ago
- Tim Button's open textbook on set theory☆39Updated 3 months ago
- Kan: A browser extension for reading nLab☆30Updated 7 years ago
- Hevea is a fast latex to html translator☆108Updated this week
- TikZ driver for tex4ht which uses dvisvgm for the SVG production☆14Updated 4 months ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- Group theory visualization software in the browser☆255Updated last year
- Write LaTeX theorems in Pandoc Markdown☆74Updated last year
- Source code for the nLab☆187Updated 6 months ago
- Synchronization for TeX☆77Updated last month
- Lecture notes from Cambridge maths☆71Updated last year
- A relational interpretation of Lojban☆34Updated 2 months ago
- A semantic Extension of TeX/LaTeX☆54Updated last week
- Book about using Lean with How To Prove It☆21Updated this week
- Let's translate works of Grothendieck☆29Updated 6 years ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆19Updated 5 months ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆64Updated 11 months ago
- PreTeXt: an authoring and publishing system for scholarly documents☆298Updated 3 weeks ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Lean Theorem Prover plugin for Vim.☆16Updated 3 years ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Replace Unicode symbols by equivalent Latex commands☆29Updated 3 weeks ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆62Updated last week