A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface
☆105Mar 19, 2026Updated 3 weeks 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:
- ☆15Jul 12, 2024Updated last year
- TeXify: Typesetting for the Web☆48Apr 16, 2023Updated 2 years ago
- 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
- Nix written in rust (this will take some time if it will ever finish)☆23Nov 21, 2020Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A port of TeX82 to Rust. (WIP)☆35Feb 20, 2022Updated 4 years ago
- A general purpose processing framework for corpora of scientific documents☆66Apr 6, 2026Updated last week
- A fast DVI, EPS, and PDF to SVG converter☆359Jan 12, 2026Updated 3 months ago
- Collenchyma plugin for backend-agnostic BLAS operations☆18May 2, 2016Updated 9 years ago
- A prototope bootstrap project in xcode☆11Feb 1, 2016Updated 10 years ago
- A Rust library for manipulating and evaluating Boolean expressions and BDDs☆31Mar 16, 2021Updated 5 years ago
- A curated list of projects and resources using BAML☆17Aug 1, 2025Updated 8 months ago
- log commands to buffer☆14Nov 21, 2023Updated 2 years ago
- RPC client/server for Irmin☆19Aug 5, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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 2 months ago
- Sources and Documentation for the HINT project☆11Mar 31, 2026Updated 2 weeks ago
- Types to define keyboard related events☆71Dec 16, 2025Updated 3 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)☆45Dec 20, 2025Updated 3 months ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆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
- Think of it as CSS for fonts.☆10Oct 14, 2022Updated 3 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 5 years ago
- instrumenting wasm binaries to trace function execution☆50May 22, 2019Updated 6 years ago
- This crate includes a low level implementation of the PMTiles format based on the standard Read and Write trait.☆16Mar 31, 2026Updated 2 weeks ago
- Byzantine musical settings of Orthodox liturgical texts by Basil Crow☆13Mar 12, 2026Updated last month
- A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.☆4,681Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 6 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
- LZMA / LZMA2 in native Rust☆33Mar 31, 2026Updated 2 weeks ago
- A custom Cargo runner that runs Rust firmware in the renode emulator☆11Apr 28, 2025Updated 11 months ago
- STEP Fonts Project☆12Aug 28, 2021Updated 4 years ago