Collection of helper packages for tex4ht configuration
☆44Jul 3, 2025Updated 10 months ago
Alternatives and similar repositories for helpers4ht
Users that are interested in helpers4ht are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Build system for tex4ht☆162Feb 24, 2026Updated 2 months ago
- A collection LaTeX templates compatible with curvenote.com☆16Sep 15, 2022Updated 3 years ago
- Specification of Agda.☆25Jan 13, 2019Updated 7 years ago
- CTAN - gitinfo2.sty: Use git repository metadata in LaTeX documents☆44Sep 2, 2020Updated 5 years ago
- visualize an AST serialized as YAML☆13Mar 13, 2023Updated 3 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.
- Various visualizations of day and night☆13Dec 24, 2020Updated 5 years ago
- ☆12Jun 13, 2023Updated 2 years ago
- A programming tool for the iCE40 FPGA evaluation boards.☆13Jun 5, 2024Updated last year
- Building FPGAs with Quartus+CMake☆18Aug 14, 2017Updated 8 years ago
- ☆17Oct 9, 2016Updated 9 years ago
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated last year
- Ansible Inventory Script for Hetzner Cloud API☆17Mar 19, 2018Updated 8 years ago
- LaTeX PDF resource management☆31Apr 21, 2026Updated 2 weeks ago
- ☆10Jan 9, 2016Updated 10 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Argumentative microtexts annotated with RST, SDRT and argumentation structure☆12Jun 19, 2016Updated 9 years ago
- Steganography for R☆32Feb 8, 2021Updated 5 years ago
- Lua environment manager☆17May 4, 2024Updated 2 years ago
- emacs cfg on its own☆10Apr 20, 2018Updated 8 years ago
- define ZF Set Theory in Agda and it's model on Ordinal and Ordinal Definable Set☆14Nov 14, 2025Updated 5 months ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Nov 14, 2018Updated 7 years ago
- Draw tree of cons cells☆14Apr 14, 2022Updated 4 years ago
- A LaTeX package to create highly customizable colored boxes.☆287Mar 6, 2026Updated 2 months ago
- An awesome list of awesome documentation and documentation resources☆20Mar 12, 2026Updated last month
- 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.
- PLT Redex model of basic Dependently Typed Racket calculus☆18Mar 31, 2015Updated 11 years ago
- Kernighan & Cherry's "Typesetting Mathematics -- User's Guide (2nd ed.)" documenting eqn, retypeset with groff☆14Mar 18, 2026Updated last month
- Unpack Z-machine file format information.☆10Updated this week
- Handling SVG pictures in LaTeX documents using Inkscape, ImageMagick and/or Ghostscript☆68Apr 16, 2024Updated 2 years ago
- native clojure MPD client☆11Nov 5, 2018Updated 7 years ago
- A survey of known lower bounds in arithmetic circuits.☆34Mar 22, 2022Updated 4 years ago
- A testing and building system for LaTeX☆113Mar 29, 2026Updated last month
- Undo send and schedule emails in mu4e☆12Apr 15, 2016Updated 10 years ago
- My project for the Wolfram Summer Camp 2019☆15Jul 12, 2019Updated 6 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.
- ☆76Feb 5, 2025Updated last year
- Training materials for the intro and advanced R course☆11Oct 31, 2017Updated 8 years ago
- Lua engine from Emacs Lisp☆18Jan 27, 2025Updated last year
- plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of out…☆335Jan 7, 2026Updated 3 months ago
- a Gazebo plugin that computes the force and torque between multiple magnets.☆18Jun 16, 2017Updated 8 years ago
- Convert categorical representations of logicals to actual logicals☆11Sep 14, 2016Updated 9 years ago
- SIGPwny's websites and club content monorepo☆13Updated this week