ghulette / happy-example
A very simple example of how to use Alex and Happy to build a language processor in Haskell.
☆16Updated 9 years ago
Related projects: ⓘ
- Example of combining Alex (lexical parser) and Happy (syntax parser)☆32Updated 3 weeks ago
- Examples of a simple parser written in both Parsec and Happy/Alex☆49Updated 9 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆71Updated 4 years ago
- A useful type for working with integers modulo some constant.☆30Updated last year
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆121Updated last month
- Replib: generic programming & Unbound: generic treatment of binders☆44Updated last year
- Tiny type-checker with dependent types☆76Updated 10 years ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆55Updated 6 months ago
- Implements a graphical haskell debugger in atom, using ghci☆21Updated 6 years ago
- Haskell library for PDF generation (graphics and typesetting)☆26Updated 4 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Type-level well-kinded natural numbers.☆33Updated 3 months ago
- Type-safe open unions in Haskell☆30Updated 6 years ago
- ☆75Updated 2 months ago
- A collection of Notes on GHC☆69Updated 5 years ago
- Lightweight package providing commonly useful parser combinators☆52Updated 3 months ago
- Tools for working with derived Show instances in Haskell.☆56Updated last year
- JHC Haskell compiler split into reusable components☆58Updated 5 years ago
- compile your own functional language☆36Updated 5 years ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆73Updated 2 months ago
- Hypertypes - generic programming for heterogeneous recursive types☆111Updated last week
- Where my everyday research happens☆53Updated 3 weeks ago
- Data.List.nub is O(n²). This one is O(n log n) by requiring an Ord instance.☆31Updated 4 years ago
- A Specification for Dependent Types in Haskell (Core)☆65Updated 2 years ago
- Library of categories, with categorical constructions on them☆54Updated last year
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆68Updated 2 years ago
- Haskell 98 semigroups☆62Updated last year
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45Updated 2 years ago