ghulette / haskell-parser-examples
Examples of a simple parser written in both Parsec and Happy/Alex
☆49Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for haskell-parser-examples
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 4 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- A prototypical dependently typed languages with sized types and variances☆104Updated 2 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆44Updated 2 years ago
- Tiny type-checker with dependent types☆76Updated 10 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 7 years ago
- Template for Hindley-Milner based languages☆39Updated 2 years ago
- haskell lazy evaluation illustrated☆71Updated 7 years ago
- a simple functional language for learners☆30Updated 7 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆122Updated 3 months ago
- A type-checker for Haskell with integer constraints☆40Updated 9 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- JHC Haskell compiler split into reusable components☆57Updated 5 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 6 years ago
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- compile your own functional language☆36Updated 5 years ago
- A useful type for working with integers modulo some constant.☆30Updated last year
- Hopefully verifiable code generation in GHC☆95Updated 7 years ago
- A language based on homotopy type theory with an interval☆84Updated 9 years ago
- being the materials for Summer 2013's course☆110Updated last year
- Alternative Core language for GHC plugins☆39Updated 8 years ago
- Example row-polymorphism implementations☆59Updated last year
- Library of categories, with categorical constructions on them☆54Updated last year
- A small implementation of a proof refinement logic.☆50Updated 7 years ago
- Dive into GHC☆82Updated 7 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Automatically exported from code.google.com/p/trellys☆46Updated 5 years ago
- Hoed - A Lightweight Haskell Tracer and Debugger☆51Updated 3 years ago
- Diffing of (expression) trees.☆78Updated last month