A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface
☆107Mar 19, 2026Updated 3 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:
- ☆16Jul 12, 2024Updated last year
- The 1973 survey of Holon Programming by Pierre-Arnoul de Marneffe☆22Jul 17, 2024Updated last year
- An arena-inspired interner for strings☆14Jul 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
- [mirror] star-tex (or *TeX) is a TeX engine in Go.☆31Nov 15, 2024Updated last year
- 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 cute bot of Telegram.☆11May 16, 2018Updated 8 years ago
- Discovery of Structured Parallelism In Sequential and Parallel Code☆10Feb 13, 2021Updated 5 years ago
- 🦀 A modern alternative to LaTeX written in Rust☆33Dec 7, 2021Updated 4 years ago
- Develop an async runtime like thing in Rust for educational purpose.☆28Apr 6, 2024Updated 2 years ago
- Collenchyma plugin for backend-agnostic BLAS operations☆17May 2, 2016Updated 10 years ago
- JavaScript expression parsing, MathML rendering and CAS.☆18Nov 17, 2025Updated 7 months ago
- A curated list of projects and resources using BAML☆17Aug 1, 2025Updated 10 months ago
- log commands to buffer☆15Nov 21, 2023Updated 2 years ago
- automate your document generation process☆11Apr 10, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- RPC client/server for Irmin☆19Aug 5, 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
- Personal activity logger & visualizer☆27Mar 16, 2023Updated 3 years ago
- Try Metapost quickly and easily with our online sandbox application!☆11Feb 14, 2026Updated 4 months ago
- Types to define keyboard related events☆71Dec 16, 2025Updated 6 months ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- ☆16Apr 11, 2023Updated 3 years ago
- The Agda Universal Algebra Library (html docs available at the url below)☆46Jun 23, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆13Aug 11, 2021Updated 4 years ago
- Think of it as CSS for fonts.☆10Oct 14, 2022Updated 3 years ago
- A crate to help you internationalize your Rocket applications.☆17Dec 28, 2023Updated 2 years ago
- Experimental Oxidization of Tectonic the TeX/LaTeX engine.☆286Apr 1, 2021Updated 5 years ago
- GTFS Realtime for the PATH train in New York and New Jersey☆24May 27, 2024Updated 2 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated last year
- A port of Runebender from Druid to Xilem☆74May 14, 2026Updated last month
- A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.☆4,930Updated this week
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 6 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.
- 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.☆56Oct 25, 2023Updated 2 years ago
- Zero dependency images (of chaos) in Rust☆31Feb 14, 2021Updated 5 years ago
- Punk Nova - an OpenType implementation of Donald Knuth's Punk font☆45Sep 29, 2022Updated 3 years ago
- A zero-copy json-lexer, filters and serializer.☆19Jul 25, 2024Updated last year
- Builder and parser of TrueType fonts☆13May 15, 2025Updated last year