Popular repositories Loading

1. th-expand-syns th-expand-syns Public

   Expands type synonyms in Template Haskell ASTs

   Haskell 11 10

2. tuple-th tuple-th Public

   Template Haskell functions for generating functions similar to those in Data.List for tuples of statically known size.

   Haskell 8 2

3. hstri hstri Public

   Utilities for 3-manifold triangulations

   Haskell 4

4. th-build th-build Public

   More convenient construction of TH ASTs

   Haskell 4 1

5. logic-TPTP logic-TPTP Public

   Import, export etc. for TPTP, a syntax for first-order logic

   Haskell 4 2

6. Printf-TH Printf-TH Public

   (Github upload of code by Ian Lynagh and Marc Weber)

   Haskell 2