blamario / grampa
Grammatical parsers - combinator library for parsing general context-free grammars
☆36Updated last month
Related projects ⓘ
Alternatives and complementary repositories for grampa
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 4 years ago
- Existential type.☆36Updated 6 months ago
- higher-kinded data☆30Updated last year
- rewrite rules for type-level equalities☆62Updated 7 months ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Dual Traversable☆41Updated last year
- Overloaded plugin☆31Updated 5 months ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆33Updated 5 months ago
- Automatic piecewise-mutable references for your types☆43Updated 4 years ago
- ☆18Updated 3 years ago
- Deep evaluation of data structures☆41Updated 2 months ago
- Nat, Fin, Vec☆24Updated last week
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆44Updated last month
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆28Updated 3 years ago
- Agda-style equational reasoning in Haskell☆51Updated 6 months ago
- Generic functions for single-sorted first-order structural unification☆41Updated this week
- Standard module for type-level programming in Haskell☆31Updated 5 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 7 months ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- An efficient finite map from (byte)strings to values.☆19Updated this week
- An experimental intermediate language for GHC☆37Updated 7 years ago
- Ghosts of Departed Proofs☆60Updated 3 years ago
- A library for doing generic programming in Agda☆28Updated 3 years ago
- Symbol manipulation☆36Updated last year
- Maps using values' monoidal structure during merging☆42Updated 5 months ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 11 months ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Parse bytes fast☆24Updated 6 months ago