Alternatives and similar repositories for happy-example:

Users that are interested in happy-example are comparing it to the libraries listed below

• da-x / happy-alex-example
  Example of combining Alex (lexical parser) and Happy (syntax parser)
  ☆30Updated 7 months ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 5 years ago
• ghulette / haskell-parser-examples
  Examples of a simple parser written in both Parsec and Happy/Alex
  ☆51Updated 9 years ago
• sweirich / replib
  Replib: generic programming & Unbound: generic treatment of binders
  ☆44Updated 2 years ago
• rampion / constraint-unions
  A syntax for unions of constraints in Haskell
  ☆70Updated 7 years ago
• aneksteind / Core
  compile your own functional language
  ☆36Updated 5 years ago
• myuon / ghc-compiler-notes
  A collection of Notes on GHC
  ☆69Updated 5 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆123Updated 8 months ago
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆76Updated 11 years ago
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆85Updated 9 years ago
• int-index / ether
  Monad Transformers and Classes
  ☆77Updated 5 years ago
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated last year
• bfops / open-union
  Type-safe open unions in Haskell
  ☆32Updated 6 years ago
• ezyang / compact
  Compact regions library for Haskell
  ☆82Updated 9 months ago
• konn / type-natural
  Type-level well-kinded natural numbers.
  ☆34Updated 3 months ago
• 23Skidoo / pointful
  Stand-alone command-line version of the pointful plugin for Lambdabot.
  ☆26Updated 2 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 6 years ago
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆69Updated 5 months ago
• cronburg / antlr-haskell
  A language parsing quasiquoter for Haskell based heavily on ANTLR4.
  ☆51Updated 4 years ago
• muesli4 / table-layout
  Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…
  ☆39Updated 8 months ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆72Updated 2 months ago
• TikhonJelvis / modular-arithmetic
  A useful type for working with integers modulo some constant.
  ☆30Updated last year
• schell / varying
  Continuously varying values, made easy :)
  ☆40Updated 5 years ago
• mrkkrp / parser-combinators
  Lightweight package providing commonly useful parser combinators
  ☆54Updated 2 months ago
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆48Updated 5 years ago
• bgamari / ghc-dump
  A GHC plugin and library for analysing GHC Core
  ☆54Updated last month
• sdiehl / repline
  Haskeline wrapper for GHCi-like REPL interfaces
  ☆107Updated last year
• haskell-perf / serialization
  A micro-benchmark that compares some Haskell serialization libraries
  ☆44Updated 5 years ago
• xnning / GHC-Core-Literature-Review
  Literature review of GHC's Core language, System FC
  ☆66Updated 6 years ago
• tomsmeding / pastebin-haskell
  Pastebin service in haskell
  ☆31Updated 4 months ago