blamario / grampa
Grammatical parsers - combinator library for parsing general context-free grammars
☆36Updated this week
Alternatives and similar repositories for grampa:
Users that are interested in grampa are comparing it to the libraries listed below
- Dependently-typed finite maps (partial dependent products)☆66Updated 2 months ago
- Generic functions for single-sorted first-order structural unification☆44Updated last week
- Subclasses of Monoid with a solid theoretical foundation and practical purposes☆33Updated 2 months ago
- Overloaded plugin☆30Updated 10 months ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 3 months ago
- Open records for Haskell☆22Updated 7 years ago
- higher-kinded data☆30Updated last year
- Recursion schemes for Idris☆64Updated 6 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated 2 years ago
- Dual Traversable☆42Updated last year
- An experimental intermediate language for GHC☆36Updated 7 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- An efficient finite map from (byte)strings to values.☆20Updated last week
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- Existential type.☆37Updated 4 months ago
- An experiment in functional interface design☆24Updated 8 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 2 weeks ago
- A usable type system for call by push-value☆33Updated 5 years ago
- rewrite rules for type-level equalities☆62Updated last year
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated last month
- Agda-style equational reasoning in Haskell☆53Updated last month
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated last year
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 5 months ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 11 months ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Updated last year
- Session Types with Priority in Linear Haskell☆26Updated 10 months ago
- Dependently typed elimination functions using singletons☆28Updated 4 months ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago