A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface
☆104Mar 19, 2026Updated this week
Alternatives and similar repositories for XymosTeX
Users that are interested in XymosTeX are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Jul 12, 2024Updated last year
- The 1973 survey of Holon Programming by Pierre-Arnoul de Marneffe☆22Jul 17, 2024Updated last year
- A pushdown automaton low memory JSON bytes stream checker☆13Dec 24, 2021Updated 4 years ago
- An arena-inspired interner for strings☆13Jul 2, 2020Updated 5 years ago
- Nix written in rust (this will take some time if it will ever finish)☆23Nov 21, 2020Updated 5 years ago
- A port of TeX82 to Rust. (WIP)☆35Feb 20, 2022Updated 4 years ago
- Develop an async runtime like thing in Rust for educational purpose.☆28Apr 6, 2024Updated last year
- Collenchyma plugin for backend-agnostic BLAS operations☆17May 2, 2016Updated 9 years ago
- Sources and Documentation for the HINT project☆11Feb 17, 2026Updated last month
- GitHub copy of the NTS/TeX source code from 2001☆32Aug 6, 2021Updated 4 years ago
- Mirror of ftp://ftp.cs.uni-sb.de/formulae - "A Functional Description of TeX's Formula Layout"☆13Oct 15, 2015Updated 10 years ago
- An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.☆21Nov 8, 2021Updated 4 years ago
- ☆16Apr 11, 2023Updated 2 years ago
- The Agda Universal Algebra Library (html docs available at the url below)☆44Dec 20, 2025Updated 3 months ago
- ☆13Aug 11, 2021Updated 4 years ago
- hmetafont is a DSL for creating variable fonts in haskell, inspired by metafont☆11Dec 18, 2016Updated 9 years ago
- A TeX implementation in a single C++11 class.☆19Sep 19, 2020Updated 5 years ago
- Experimental Oxidization of Tectonic the TeX/LaTeX engine.☆286Apr 1, 2021Updated 4 years ago
- git-svn mirror of the TUGboat repository☆13Updated this week
- A port of Runebender from Druid to Xilem☆52Mar 16, 2026Updated last week
- A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.☆4,653Oct 6, 2025Updated 5 months ago
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 6 years ago
- mf2outline is a python script that converts METAFONT fonts to outline formats like OpenType.☆10Mar 13, 2023Updated 3 years ago
- Intelligent invoices with LaTeX3☆18Sep 24, 2018Updated 7 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆55Oct 25, 2023Updated 2 years ago
- Zero dependency images (of chaos) in Rust☆31Feb 14, 2021Updated 5 years ago
- A zero-copy json-lexer, filters and serializer.☆19Jul 25, 2024Updated last year
- STEP Fonts Project☆12Aug 28, 2021Updated 4 years ago
- Nupuram/നൂപുരം Font - https://smc.org.in/fonts/nupuram☆15Sep 29, 2023Updated 2 years ago
- Builder and parser of TrueType fonts☆13May 15, 2025Updated 10 months ago
- Verified NbE via gluing in Agda☆11May 19, 2024Updated last year
- Code repository for our work on Quantum Pi☆10Jun 4, 2024Updated last year
- A font tester☆12Dec 11, 2024Updated last year
- A shadow-cljs build hook that computes the "version" at build-time - from the ambient git context (latest tag?).☆28Jan 21, 2026Updated 2 months ago
- Python bindings to the Zenhub API☆11Jul 13, 2023Updated 2 years ago
- a collection of tools to do tangle in rust☆24Jul 24, 2019Updated 6 years ago
- ☆17Oct 31, 2025Updated 4 months ago
- Implement an Android view in Rust☆44Jul 23, 2025Updated 8 months ago
- https://github.com/mozilla/source-map for .NET, re-written in F#☆14Feb 17, 2022Updated 4 years ago