New tex4ht documentation
☆12Nov 20, 2025Updated 5 months ago
Alternatives and similar repositories for tex4ht-doc
Users that are interested in tex4ht-doc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TikZ driver for tex4ht which uses dvisvgm for the SVG production☆14Jun 2, 2025Updated 10 months ago
- Build system for tex4ht☆162Feb 24, 2026Updated last month
- visualize an AST serialized as YAML☆13Mar 13, 2023Updated 3 years ago
- Wrap any shell command to play the Jeopardy theme while it runs☆14Mar 24, 2026Updated 3 weeks ago
- Dictionary of English words tagged with their natural gender.☆13Sep 7, 2021Updated 4 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.
- Better typesetting for EPUB (and HTML)☆18Mar 8, 2012Updated 14 years ago
- Bot for the 1337.☆12Apr 8, 2026Updated last week
- Règles typographiques de l'Imprimerie Nationale☆11May 24, 2020Updated 5 years ago
- Harfbuzz bindings for Lua☆13Dec 9, 2025Updated 4 months ago
- FreeRTOS tracing using BareCTF and Trace Compass☆12Aug 23, 2021Updated 4 years ago
- Lua implementation of the Unicode Bidirectional Algorithm☆10Jul 27, 2017Updated 8 years ago
- Experimental text shaping in LuaTeX using Harfbuzz library☆10Jul 17, 2018Updated 7 years ago
- HarfBuzz as OpenType engine in LuaTeX, LaTeX, and ConTeXt☆13May 14, 2025Updated 11 months ago
- Example code for an MMIO plugin for Spike, the RISC-V ISA simulator.☆12Aug 29, 2019Updated 6 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.
- Cross-referencing system for LaTeX, inspired with RDF☆18Nov 19, 2024Updated last year
- Gins - A gender/pronoun library for PHP☆18Mar 29, 2017Updated 9 years ago
- Simple instruction set simulator for ARMv6-M (Cortex M0)☆19Jun 2, 2019Updated 6 years ago
- ☆22Aug 12, 2025Updated 8 months ago
- How to write an academic paper☆11Oct 20, 2022Updated 3 years ago
- Qemu Emulator for TTGO TDisplay esp32 board.☆26Apr 2, 2026Updated 2 weeks ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Literate programming for Lua☆17Jan 9, 2017Updated 9 years ago
- Text Formatting Plugin☆28Jun 10, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- GDB running inside the browser (using v86)☆23Sep 14, 2022Updated 3 years ago
- A vim package to interact with vim☆16Sep 22, 2022Updated 3 years ago
- A Tiny, Pure Python implementation of Gradient Boosted Trees.☆14Dec 28, 2022Updated 3 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 7 years ago
- Open Source Precollege Algebra Textbook☆22Mar 10, 2026Updated last month
- Server-side Zotero translation based on Mozilla xpcshell (deprecated)☆37Aug 31, 2018Updated 7 years ago
- A MkDocs plugin to add bootstrap classes to plan markdown generated tables.☆13Mar 27, 2020Updated 6 years ago
- Meta package for the TeX related Lua type definitions. Bundles all sub repos to build and distribute the definitions☆18Dec 20, 2025Updated 4 months ago
- twreporter middle-ware rest-api server☆11Mar 13, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Combinatorial species in HoTT☆12May 23, 2015Updated 10 years ago
- embed haskell diagrams in emacs org-mode files☆10Apr 7, 2016Updated 10 years ago
- ☆10May 3, 2017Updated 8 years ago
- Another line breaking algorithm, for variable fonts☆25Jul 13, 2020Updated 5 years ago
- ☆11Sep 7, 2023Updated 2 years ago
- Lagom website☆10Aug 4, 2025Updated 8 months ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆13Feb 2, 2018Updated 8 years ago