blamario / grampa
Grammatical parsers - combinator library for parsing general context-free grammars
☆36Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for grampa
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- rewrite rules for type-level equalities☆62Updated 6 months ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- An experimental intermediate language for GHC☆37Updated 7 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆44Updated 3 weeks ago
- Overloaded plugin☆31Updated 4 months ago
- Open records for Haskell☆22Updated 7 years ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- Existential type.☆36Updated 5 months ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Dual Traversable☆41Updated last year
- Order theory☆23Updated last year
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Subclasses of Monoid with a solid theoretical foundation and practical purposes☆33Updated last month
- Library and utility for processing cabal's plan.json file☆38Updated 5 months ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 4 years ago
- Efficient parser combinators for Haskell☆39Updated 6 months ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- Generic functions for single-sorted first-order structural unification☆41Updated last week
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated 3 weeks ago
- Kleene algebra, regular expressions☆32Updated 11 months ago
- Parse bytes fast☆24Updated 6 months ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆33Updated 4 months ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated 11 months ago
- higher-kinded data☆30Updated last year
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- System F implemented in Haskell☆24Updated 12 years ago
- Agda-style equational reasoning in Haskell☆51Updated 5 months ago
- Signature inference for Functional Property Discovery in Haskell☆36Updated 7 years ago