ghulette / haskell-parser-examples
Examples of a simple parser written in both Parsec and Happy/Alex
☆51Updated 10 years ago
Alternatives and similar repositories for haskell-parser-examples
Users that are interested in haskell-parser-examples are comparing it to the libraries listed below
Sorting:
- Dive into GHC☆82Updated 8 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 9 months ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Haskell 98 comonads☆78Updated 2 months ago
- A collection of Notes on GHC☆69Updated 6 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- Hoed - A Lightweight Haskell Tracer and Debugger☆51Updated 4 years ago
- ☆41Updated 7 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- Library of categories, with categorical constructions on them☆56Updated last year
- Describe Haskell code in GHCi☆71Updated 7 years ago
- Evaluation-orthogonal serialisation of Haskell data, as a library☆62Updated 4 months ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated this week
- ☆125Updated last year
- Implement monads by specifying instructions and their desired operational semantics.☆83Updated 11 months ago
- Hopefully verifiable code generation in GHC☆94Updated 8 years ago
- A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API☆130Updated 3 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆80Updated 3 years ago
- Generic parser combinators☆87Updated 2 months ago
- Search Haskell source code from the command line☆75Updated 4 years ago
- Generic random generators☆81Updated 2 years ago
- compile your own functional language☆36Updated 6 years ago