ghulette / happy-exampleLinks
A very simple example of how to use Alex and Happy to build a language processor in Haskell.
☆15Updated 10 years ago
Alternatives and similar repositories for happy-example
Users that are interested in happy-example are comparing it to the libraries listed below
Sorting:
- Type-level well-kinded natural numbers.☆34Updated 5 months ago
- Examples of a simple parser written in both Parsec and Happy/Alex☆51Updated 10 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 7 months ago
- Pre-processor for .hsc files☆41Updated 2 months ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Example of combining Alex (lexical parser) and Happy (syntax parser)☆30Updated 9 months ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- Haskell library for PDF generation (graphics and typesetting)☆26Updated 5 years ago
- Ghosts of Departed Proofs☆60Updated 4 years ago
- ☆75Updated 3 months ago
- base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC☆45Updated last month
- Fine-grained lattice primitives for Haskell☆37Updated last month
- List monad transformer☆60Updated last year
- Efficient conversion of values into Text☆40Updated 3 months ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 3 months ago
- Haskell 98 semigroups☆62Updated 2 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- Library of categories, with categorical constructions on them☆57Updated last year
- Replib: generic programming & Unbound: generic treatment of binders☆45Updated 2 years ago
- A new all Haskell "tagged" DFA regex engine, inspired by libtre☆43Updated 5 years ago
- Simple adjunctions☆46Updated 2 months ago
- compile your own functional language☆36Updated 6 years ago
- A collection of Notes on GHC☆69Updated 6 years ago
- Haskell 98 contravariant functors☆73Updated 7 months ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45Updated 3 years ago
- Some useful control operators for looping☆47Updated 5 years ago
- Type-safe error handling☆64Updated last year
- Recursion schemes for Idris☆64Updated 6 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year