da-x / happy-alex-example
Example of combining Alex (lexical parser) and Happy (syntax parser)
☆32Updated 3 weeks ago
Related projects: ⓘ
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆121Updated last month
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆55Updated 6 months ago
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated last year
- Lean Haskell Benchmarking☆90Updated 2 years ago
- Template for quickly and easily combining happy and alex☆49Updated 8 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆71Updated 4 years ago
- A Haskell API into HTML5 Canvas☆72Updated 4 months ago
- TParsec - Total Parser Combinators in Idris☆93Updated last year
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆73Updated 2 months ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 9 months ago
- Replib: generic programming & Unbound: generic treatment of binders☆44Updated last year
- Where my everyday research happens☆53Updated 3 weeks ago
- Unified Haskell interface for basic file system notifications☆136Updated 3 weeks ago
- Interpreter for GHC Haskell☆22Updated 4 years ago
- Generic Programming using True Sums of Products☆156Updated 4 months ago
- JHC Haskell compiler split into reusable components☆58Updated 5 years ago
- ☆75Updated last year
- Use Template Haskell to embed file contents directly.☆91Updated last week
- Alternative API for processes, featuring more type safety☆109Updated last month
- A simple Idris program to blink the LED on an Arduino☆54Updated 3 years ago
- Haskell library for PDF generation (graphics and typesetting)☆26Updated 4 years ago
- The Helium compiler, Helium-as-a-library, and the texthint interpreter☆93Updated 7 months ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆117Updated last month
- The Haskell tracer - generating and viewing Haskell execution traces☆38Updated last year
- Elaborate and expressive S-Expression library for Haskell☆61Updated 2 months ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Haskell 98 comonads☆77Updated 11 months ago
- Measure allocations of a Haskell functions/values☆92Updated last year
- A useful type for working with integers modulo some constant.☆30Updated last year
- ☆39Updated 4 years ago