Collection of helper packages for tex4ht configuration
☆44Jul 3, 2025Updated 11 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☆163May 11, 2026Updated last month
- 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
- extract tables from scanned pdf files☆13Jan 25, 2014Updated 12 years ago
- Various visualizations of day and night☆13Dec 24, 2020Updated 5 years ago
- 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.
- LaTeX PDF resource management☆31May 26, 2026Updated 3 weeks ago
- Argumentative microtexts annotated with RST, SDRT and argumentation structure☆12Jun 19, 2016Updated 9 years ago
- Steganography for R☆32Feb 8, 2021Updated 5 years ago
- A framework for natural language syntax and semantics based on type theory.☆14Feb 28, 2024Updated 2 years ago
- Стиль CSL для библиографии по ГОСТ☆11Mar 16, 2017Updated 9 years ago
- emacs cfg on its own☆10Apr 20, 2018Updated 8 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Nov 14, 2018Updated 7 years ago
- ☆13May 6, 2026Updated last month
- PLT Redex model of basic Dependently Typed Racket calculus☆18Mar 31, 2015Updated 11 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.
- Kernighan & Cherry's "Typesetting Mathematics -- User's Guide (2nd ed.)" documenting eqn, retypeset with groff☆15Jun 6, 2026Updated last week
- Undo send and schedule emails in mu4e☆12Apr 15, 2016Updated 10 years ago
- Good old classic XV image viewer, with packaging and patches for debian stretch☆12Aug 18, 2022Updated 3 years ago
- My project for the Wolfram Summer Camp 2019☆15Jul 12, 2019Updated 6 years ago
- curses.h implementation of the Glk API☆18Jul 8, 2021Updated 4 years ago
- Open-source professional-quality type family for general typesetting☆77Nov 24, 2024Updated last year
- MixML prototype interpreter☆28Dec 13, 2019Updated 6 years ago
- Eurorack DIY Clone of one of the most famous analog synth.☆16May 19, 2026Updated 3 weeks ago
- Theory of Computing Report☆14Jun 2, 2026Updated 2 weeks 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.
- Training materials for the intro and advanced R course☆11Oct 31, 2017Updated 8 years ago
- Wide a WxWidgets Inform 6 IDE☆13Aug 20, 2020Updated 5 years ago
- Lua engine from Emacs Lisp☆18Jan 27, 2025Updated last year
- This class implements a pretty printing algorithm.☆27Mar 16, 2026Updated 3 months ago
- Convert categorical representations of logicals to actual logicals☆11Sep 14, 2016Updated 9 years ago
- It's an adaptation of pouchdb-browser for Svelte☆10Aug 30, 2020Updated 5 years ago
- An implementation of C++ std::complex for CUDA devices (i.e. compiles with nvcc)☆20May 31, 2017Updated 9 years ago
- K1208 A1200 fastmem board CPLD logic☆16May 5, 2018Updated 8 years ago
- Representing DES in Z3☆16Jul 14, 2023Updated 2 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.
- Formalizing nbe in agda☆32Nov 22, 2012Updated 13 years ago
- PDP-10 backend for GCC 3.2☆20Sep 17, 2014Updated 11 years ago
- a converter to markdown format for TeXmacs.☆10Apr 8, 2020Updated 6 years ago
- MF Signaling in Asterisk!☆14Jul 2, 2021Updated 4 years ago
- Tool for modifying frotz sources to compile under TOPS-20☆12Feb 7, 2020Updated 6 years ago
- Emacs package for previewing LaTeX fragments such as in doxygen comments.☆75Apr 15, 2024Updated 2 years ago
- ropensci registry☆13Updated this week