Reimplementation of TeX in Haskell: pre-alpha
☆32Apr 24, 2014Updated 12 years ago
Alternatives and similar repositories for hex
Users that are interested in hex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- Find and view documentation in TeX Live☆15Jun 1, 2012Updated 14 years ago
- LuaTeX-specific enhancements and fixes for LaTeX math typesetting☆15Jan 1, 2022Updated 4 years ago
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- a flexible text macro system☆19Dec 4, 2015Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A static site generator written in Clojure in the style of Jekyll & Hyde.☆13Jun 23, 2011Updated 15 years ago
- Category Theory & Cobordism Categories in Lean 4☆16Jun 27, 2024Updated 2 years ago
- Functional Vector Graphics☆17Jun 19, 2017Updated 9 years ago
- Logo turtle graphics interpreter in Haskell☆21Oct 20, 2014Updated 12 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 9 years ago
- A math symbol font☆11Feb 20, 2025Updated last year
- Sparse matrix linear equation solver, using the Conjugate Gradient algorithm☆16Sep 5, 2020Updated 6 years ago
- ☆15Dec 16, 2014Updated 11 years ago
- Triple, quadruple, and n-fold paths and arrows with TikZ☆18Aug 23, 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.
- Typeset version of EGA and SGA by Grothendieck.☆14Jan 28, 2014Updated 12 years ago
- CellH5 is an HDF5 data format for cell-based assays in high-throughput microscopy, which stores high-dimensional image data along with in…☆12May 29, 2020Updated 6 years ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated last year
- An OTF math font matching the EB Garamond.☆136Jan 3, 2022Updated 4 years ago
- Decaffeinated Alpino Corpus Tool☆14Jun 18, 2023Updated 3 years ago
- Convert RSS feed to a PDF for reading on Kindle☆10Jun 7, 2012Updated 14 years ago
- python-timbl, originally developed by Sander Canisius, is a Python extension module wrapping the full TiMBL C++ programming interface. Wi…☆19May 2, 2025Updated last year
- ocamldoc comment syntax parser☆21Apr 30, 2020Updated 6 years ago
- Python library for creating word clouds from text☆50Jun 4, 2019Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Gtk-based screen capturing utility for XMonad.☆25Apr 9, 2025Updated last year
- PKGBUILD file for installing context-minimals on Arch Linux☆12Jul 12, 2016Updated 10 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆26Jul 26, 2022Updated 4 years ago
- Notes on OCaml debugging and performance☆16Jul 1, 2026Updated 4 months ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆61Aug 17, 2024Updated 2 years ago
- XeLaTeX/LuaLaTeX package for using unicode/OpenType maths fonts☆269Updated this week
- Typecoin: Massively Multiplayer Online Linear Logic☆18May 5, 2017Updated 9 years ago
- Multimode simple type theory as an Agda library.☆22Sep 18, 2024Updated 2 years ago
- Tomato-rubato is an easy to use library for live audio programming in Haskell.☆30Aug 14, 2022Updated 4 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.
- A syntax highlighter in clojure.☆10Nov 23, 2011Updated 14 years ago
- A scrapbook for Haskell developers☆16Aug 28, 2010Updated 16 years ago
- ☆32Jul 21, 2023Updated 3 years ago
- Semanticizest: dump parser and client☆20May 11, 2016Updated 10 years ago
- Haskell module for K-D trees☆29Dec 4, 2017Updated 8 years ago
- Socks proxy library for haskell☆19Aug 23, 2022Updated 4 years ago
- CurryDB: Simple, Polymorphic, Persistent, Transactional, In-memory Key/Value Database☆13Jan 30, 2013Updated 13 years ago