kosmikus / lhs2tex
Preprocessor for typesetting Haskell sources with LaTeX
☆101Updated last year
Alternatives and similar repositories for lhs2tex
Users that are interested in lhs2tex are comparing it to the libraries listed below
Sorting:
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆97Updated 3 years ago
- Alternative API for processes, featuring more type safety☆111Updated last month
- ☆100Updated 2 months ago
- Visualize live Haskell data structures in GHCi☆136Updated last year
- Generic Programming using True Sums of Products☆163Updated 4 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 9 months ago
- Literate Haskell support for Markdown☆140Updated last month
- A utility for displaying the module dependencies of Haskell programs.☆183Updated 10 months ago
- Fast Haskell XML parser☆123Updated last year
- A Haskell implementation of the Jinja template language.☆78Updated last week
- Stream editing with Haskell Megaparsec parsers☆79Updated 11 months ago
- ☆75Updated 2 months ago
- ☆88Updated 3 years ago
- Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…☆39Updated 9 months ago
- Generic parser combinators☆87Updated 2 months ago
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated this week
- A language based on homotopy type theory with an interval☆85Updated 10 years ago
- A re-implementation of weeder using HIE files☆176Updated 2 months ago
- Haskell Language Report☆91Updated 5 years ago
- The Haskell LaTeX library.☆199Updated last year
- Efficient, pure binary serialisation using ByteStrings in Haskell.☆110Updated 3 months ago
- Benchmarks for sequence data structures: lists, vectors, etc.☆90Updated 3 years ago
- Haskell XML Toolbox☆124Updated 10 months ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated last year
- Check properties on standard classes and data structures☆79Updated last year
- Standard containers, with keys that carry type-level proofs of their own presence.☆80Updated 5 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆162Updated 4 years ago
- The GHC API, decoupled from GHC versions☆161Updated last week
- Inspection Testing for Haskell☆176Updated 4 months ago
- Measure allocations of a Haskell functions/values☆95Updated 6 months ago