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
- A utility for displaying the module dependencies of Haskell programs.☆183Updated 8 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 8 months ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated last year
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆97Updated 3 years ago
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated last year
- Alternative API for processes, featuring more type safety☆110Updated 7 months ago
- Literate Haskell support for Markdown☆140Updated 2 weeks ago
- Haskell Language Report☆92Updated 4 years ago
- ☆99Updated 3 weeks ago
- A language based on homotopy type theory with an interval☆85Updated 9 years ago
- Generic Programming using True Sums of Products☆162Updated 2 months ago
- A Haskell implementation of the Jinja template language.☆78Updated 3 months ago
- Visualize live Haskell data structures in GHCi☆136Updated 11 months ago
- Haskell XML Toolbox☆124Updated 8 months ago
- Stream editing with Haskell Megaparsec parsers☆79Updated 10 months ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- ☆125Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- Inspection Testing for Haskell☆175Updated 3 months 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
- Total Parser Combinators in Agda☆126Updated last year
- Haskell 98 comonads☆78Updated last month
- Lean Haskell Benchmarking☆90Updated 2 years ago
- Check properties on standard classes and data structures☆79Updated last year
- ☆89Updated 3 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Named parameters (keyword arguments) for Haskell☆94Updated 2 weeks ago
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- Generate Haskell code from a type☆134Updated last month
- Haskell tool to generate expressions from types☆101Updated 7 years ago