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
- Patoline typesetting system☆186Updated 2 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
- Algebra Number Theory book☆48Updated 2 years ago
- A sudoku game where you have to prove that your deductions are valid☆114Updated 2 years ago
- OCaml code to construct an NFA from a regular expression☆50Updated 4 years ago
- "A First Course in Linear Algebra" open source textbook☆67Updated 4 months ago
- ☆37Updated last year
- Commutative diagrams with TikZ☆47Updated 2 years ago
- Tim Button's open textbook on set theory☆32Updated last year
- Hevea is a fast latex to html translator☆99Updated 7 months ago
- Pandoc filter to render math equations using KaTeX☆35Updated last year
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Write LaTeX theorems in Pandoc Markdown☆76Updated last year
- Repository for the QED interactive text and possible extensions☆96Updated 3 weeks ago
- LuaTeX package lua-visual-debug☆17Updated 2 years ago
- Lean Theorem Prover plugin for Vim.☆16Updated 3 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆57Updated 4 months ago
- Advanced book classes and packages for the SILE typesetting system: A path for making books from front cover to back cover.☆32Updated 2 weeks ago
- This repository contains the source html files for the website complex-analysis.com☆12Updated 3 weeks ago
- Convert TeX's pascal to javascript☆120Updated 3 years ago
- TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.☆19Updated 6 months ago
- A self-hosted remote communication system designed for math discussions.☆39Updated 4 years ago
- A file-based mirror of the nLab wiki (HTML format).☆23Updated this week
- A wiki for collaborative work on totally legitimate "category theory"☆104Updated 7 months ago
- The glitch-soc/Mastodon fork running on types.pl☆22Updated last month
- A program for drawing knots and links, with support for importing images☆29Updated last year
- A relational interpretation of Lojban☆33Updated 3 weeks ago
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆22Updated 2 years ago
- some maths papers in English☆18Updated 3 months ago