A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface
☆106Mar 19, 2026Updated 6 months ago
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:
- Framework for building TeX engines and other kinds of TeX software☆16Sep 11, 2026Updated last week
- ☆19Jul 12, 2024Updated 2 years ago
- TeXify: Typesetting for the Web☆48Apr 16, 2023Updated 3 years ago
- The 1973 survey of Holon Programming by Pierre-Arnoul de Marneffe☆22Jul 17, 2024Updated 2 years ago
- PyDvi is a Python library to read and process DVI (DeVice Independent) files, the native output of LaTeX. The library provides a DVI mach…☆17Sep 22, 2014Updated 12 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A general purpose processing framework for corpora of scientific documents☆69Updated this week
- A pushdown automaton low memory JSON bytes stream checker☆13Dec 24, 2021Updated 4 years ago
- A fast DVI, EPS, and PDF to SVG converter☆369Updated this week
- log commands to buffer☆15Nov 21, 2023Updated 2 years ago
- A TeX implementation in a single C++11 class.☆20Sep 19, 2020Updated 6 years ago
- GitHub copy of the NTS/TeX source code from 2001☆33Aug 6, 2021Updated 5 years ago
- automate your document generation process☆11Apr 10, 2026Updated 5 months ago
- RPC client/server for Irmin☆19Aug 5, 2021Updated 5 years ago
- Try Metapost quickly and easily with our online sandbox application!☆12Feb 14, 2026Updated 7 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Sources and Documentation for the HINT project☆14Aug 24, 2026Updated 3 weeks ago
- Types to define keyboard related events☆71Dec 16, 2025Updated 9 months ago
- ☆16Apr 11, 2023Updated 3 years ago
- The socket.io layer of Overleaf for real-time editor interactions☆17Aug 6, 2021Updated 5 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 3 years ago
- ☆13Aug 11, 2021Updated 5 years ago
- Think of it as CSS for fonts.☆10Oct 14, 2022Updated 3 years ago
- ☆25May 16, 2025Updated last year
- Javascript port of XeTeX☆14Apr 6, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Experimental Oxidization of Tectonic the TeX/LaTeX engine.☆284Apr 1, 2021Updated 5 years ago
- A crate to help you internationalize your Rocket applications.☆17Dec 28, 2023Updated 2 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated last year
- Byzantine musical settings of Orthodox liturgical texts by Basil Crow☆15Updated this week
- mf2outline is a python script that converts METAFONT fonts to outline formats like OpenType.☆11Mar 13, 2023Updated 3 years ago
- A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.☆5,113Aug 1, 2026Updated last month
- Intelligent invoices with LaTeX3☆18Sep 24, 2018Updated 7 years ago
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 7 years ago
- Abstract machines for functional programming languages☆16Feb 22, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆58Oct 25, 2023Updated 2 years ago
- Builder and parser of TrueType fonts☆13May 15, 2025Updated last year
- Nupuram/നൂപുരം Font - https://smc.org.in/fonts/nupuram☆16Sep 29, 2023Updated 2 years ago
- Code repository for our work on Quantum Pi☆12Jun 4, 2024Updated 2 years ago
- Verified NbE via gluing in Agda☆11May 19, 2024Updated 2 years ago
- The Agda Universal Algebra Library (html docs available at the url below)☆50Sep 13, 2026Updated last week
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year