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
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆17Updated last month
- Convert TeX's pascal to javascript☆120Updated 3 years ago
- Tag-based webview of LaTeX documents☆28Updated last year
- 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
- Tim Button's open textbook on set theory☆32Updated last year
- Pandoc filter to render math equations using KaTeX☆35Updated last year
- A semantic Extension of TeX/LaTeX☆51Updated this week
- LALR Javascript LaTeX-to-MathML converter compatible with Unicode☆133Updated 3 months ago
- ☆37Updated last year
- Write LaTeX theorems in Pandoc Markdown☆76Updated last year
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆22Updated 2 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- embed LaTeX formulas into LaTeX☆27Updated 2 months ago
- A relational interpretation of Lojban☆33Updated 3 weeks ago
- Commutative diagrams with TikZ☆47Updated 2 years ago
- Mirror of ConTeXt beta source code☆56Updated last year
- Lean Theorem Prover plugin for Vim.☆16Updated 3 years ago
- The Principia Rewrite☆213Updated 2 weeks ago
- Kan: A browser extension for reading nLab☆26Updated 6 years ago
- The glitch-soc/Mastodon fork running on types.pl☆22Updated last month
- Patoline typesetting system☆186Updated 2 years ago
- A self-hosted remote communication system designed for math discussions.☆39Updated 4 years ago
- Device independent (DVI) file format parsing with node☆31Updated 9 months ago
- A program for drawing knots and links, with support for importing images☆29Updated last year
- Examples of technical drawing with John Hobby's MetaPost language☆44Updated 3 weeks ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆11Updated 5 months ago
- CoDi: Commutative Diagrams for TeX☆30Updated 9 months ago
- ☆51Updated last month
- Repository for the QED interactive text and possible extensions☆96Updated 3 weeks ago
- A sudoku game where you have to prove that your deductions are valid☆114Updated 2 years ago