Preprocessor for typesetting Haskell sources with LaTeX
☆104Dec 30, 2025Updated 2 months ago
Alternatives and similar repositories for lhs2tex
Users that are interested in lhs2tex are comparing it to the libraries listed below
Sorting:
- TODO☆23Oct 10, 2015Updated 10 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Feb 23, 2018Updated 8 years ago
- Haskell portable POSIX-compatibility layer☆21Dec 1, 2022Updated 3 years ago
- doom☆17Mar 8, 2016Updated 10 years ago
- The Haskell LaTeX library.☆200Sep 28, 2023Updated 2 years ago
- Processing HTTP Content-Type and Accept headers☆14May 17, 2024Updated last year
- Asymptotically optimal Brodal/Okasaki heaps☆34Dec 4, 2024Updated last year
- A compiler for Coq☆26Feb 22, 2013Updated 13 years ago
- Mtac in Agda☆29May 4, 2021Updated 4 years ago
- ☆39Oct 19, 2017Updated 8 years ago
- Lift control operations, like exception catching, through monad transformers☆58Dec 17, 2022Updated 3 years ago
- An implementation of Python's doctest for Haskell☆394Jan 24, 2026Updated last month
- Fuzzy string search in Haskell☆14Jan 5, 2024Updated 2 years ago
- Hackage search engine☆56Feb 19, 2018Updated 8 years ago
- A Haskell client library for Cayley database graph☆14Jan 6, 2026Updated 2 months ago
- Talking about classical logic and abstract algebra in Haskell☆16Feb 12, 2021Updated 5 years ago
- Type-safe error handling☆64Oct 12, 2023Updated 2 years ago
- Testing Infrastructure for Temporal AbstractioNs☆23Aug 24, 2020Updated 5 years ago
- Derivation of Optimized Definitions Based on Specs☆14Sep 28, 2019Updated 6 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Library for generating Haskell source files and code fragments.☆102Feb 9, 2026Updated 3 weeks ago
- ☆41Nov 9, 2023Updated 2 years ago
- Clojure-style transients for Haskell☆35Jun 27, 2022Updated 3 years ago
- Tiny type-checker with dependent types☆78Jan 8, 2014Updated 12 years ago
- Higher-order optimization library☆76Jul 12, 2023Updated 2 years ago
- Google Summer of Code 2012 project, GHCi for the web☆52Aug 20, 2012Updated 13 years ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated last month
- Haskell bindings to the Polar query engine and Oso authorization library☆12Feb 15, 2022Updated 4 years ago
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- Generate Haskell code from a type☆146Feb 21, 2025Updated last year
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- Agda-style equational reasoning in Haskell☆54Jan 18, 2026Updated last month
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆265Updated this week
- Binary streaming library for Postgres data pipelines☆17Oct 2, 2019Updated 6 years ago
- A bioinformatics tool for analyzing somatic hypermutation☆19Feb 10, 2024Updated 2 years ago
- CLI tool for Hackage☆27Sep 1, 2025Updated 6 months ago
- This package provides various primitive memory-related operations.☆122Updated this week
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago