yishn / reticule
A new way to write and explore mathematical texts.
☆23Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for reticule
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- Convert TeX's pascal to javascript☆115Updated 3 years ago
- 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
- embed LaTeX formulas into LaTeX☆27Updated 8 months ago
- "A First Course in Linear Algebra" open source textbook☆66Updated last month
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆31Updated 7 months ago
- Patoline typesetting system☆184Updated 2 years ago
- Render tikzcd diagrams with JSX.☆59Updated 4 years ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- ☆34Updated last year
- Tim Button's open textbook on set theory☆30Updated last year
- The glitch-soc/Mastodon fork running on types.pl☆20Updated 4 months ago
- some maths papers in English☆18Updated last week
- Lean Theorem Prover plugin for Vim.☆16Updated 3 years ago
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- A community database of topological counterexamples☆72Updated this week
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆68Updated this week
- Algebra Number Theory book☆47Updated 2 years ago
- ☆10Updated 3 years ago
- Device independent (DVI) file format parsing with node☆28Updated 6 months ago
- LALR Javascript LaTeX-to-MathML converter compatible with Unicode☆130Updated 3 weeks ago
- Pandoc filter to render math equations using KaTeX☆34Updated last year
- A place to put our 2018 Xena project UROP thoughts and programs.☆24Updated 4 years ago
- Share mathematics on the web with LaTeX and Markdown☆315Updated 6 months ago
- A relational interpretation of Lojban☆32Updated this week
- A program for drawing knots and links, with support for importing images☆26Updated 10 months ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated last year
- ReasonML code to construct an NFA from a regular expression☆23Updated 5 years ago
- Multiroom meeting app integrating web tools☆45Updated 4 months ago
- TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.☆17Updated 3 months ago