kosmikus / lhs2texLinks
Preprocessor for typesetting Haskell sources with LaTeX
☆103Updated last year
Alternatives and similar repositories for lhs2tex
Users that are interested in lhs2tex are comparing it to the libraries listed below
Sorting:
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated 4 months ago
- Literate Haskell support for Markdown☆146Updated 6 months ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆97Updated 3 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆161Updated 4 years ago
- ☆99Updated 3 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆125Updated last year
- Haskell library for simple, concise and fast generic operations.☆82Updated last year
- Fast Haskell XML parser☆124Updated 2 years ago
- Haskell XML Toolbox☆125Updated last year
- Alternative API for processes, featuring more type safety☆113Updated 5 months ago
- Haskell Language Report☆94Updated 5 years ago
- Named parameters (keyword arguments) for Haskell☆97Updated 6 months ago
- Visualize live Haskell data structures in GHCi☆141Updated last year
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated last year
- Generic Programming using True Sums of Products☆162Updated 2 months ago
- Haskell 98 comonads☆77Updated 7 months ago
- A Haskell implementation of the Jinja template language.☆79Updated 4 months ago
- A collection of Notes on GHC☆72Updated 6 years ago
- Regex-based parsing with an applicative interface☆131Updated 3 years ago
- Inspection Testing for Haskell☆189Updated 2 weeks ago
- ☆77Updated 2 weeks ago
- ⚡️Efficient implementation of Map with types as keys☆101Updated last year
- Generic parser combinators☆88Updated 7 months ago
- Check properties on standard classes and data structures☆80Updated this week
- A language based on homotopy type theory with an interval☆83Updated 10 years ago
- JHC Haskell compiler split into reusable components☆57Updated 6 years ago
- Let GHC prove program equations for you☆146Updated 6 years ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆76Updated last month
- Test your Haskell code by exhaustively checking its properties☆136Updated 2 months ago
- Stream editing with Haskell Megaparsec parsers☆81Updated last year