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 last year
• ghulette / haskell-parser-examples
  Examples of a simple parser written in both Parsec and Happy/Alex
  ☆51Updated 10 years ago
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆84Updated 10 years ago
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆47Updated 5 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• bfops / open-union
  Type-safe open unions in Haskell
  ☆32Updated 7 years ago
• haskell-unordered-containers / hashable
  A class for types that can be converted to a hash value
  ☆105Updated last week
• ekmett / ersatz
  A monad for interfacing with external SAT solvers
  ☆65Updated 6 months ago
• dorchard / effect-monad
  Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
  ☆99Updated 2 months ago
• ekmett / bifunctors
  Haskell 98 bifunctors, bifoldables and bitraversables
  ☆58Updated 9 months ago
• ekmett / comonad
  Haskell 98 comonads
  ☆78Updated 9 months ago
• ndmitchell / uniplate
  Haskell library for simple, concise and fast generic operations.
  ☆82Updated 2 years ago
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆78Updated 11 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• konn / type-natural
  Type-level well-kinded natural numbers.
  ☆36Updated 11 months ago
• dreixel / syb
  Scrap Your Boilerplate generic programming library in Haskell
  ☆45Updated 4 months ago
• sweirich / replib
  Replib: generic programming & Unbound: generic treatment of binders
  ☆46Updated 3 years ago
• ekmett / algebra
  constructive abstract algebra
  ☆104Updated 5 years ago
• andrevdm / SimpleHaskellStackVM
  Simple demonstration stack based virtual machine written in Haskell
  ☆42Updated 9 years ago
• haskell-suite / haskell-tc
  Haskell typechecker
  ☆39Updated 6 years ago
• ekmett / contravariant
  Haskell 98 contravariant functors
  ☆73Updated last year
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆127Updated last year
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 5 years ago
• ekmett / parsers
  Generic parser combinators
  ☆89Updated 9 months ago
• ekmett / semigroupoids
  ☆78Updated 2 months ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆57Updated 7 years ago
• myuon / ghc-compiler-notes
  A collection of Notes on GHC
  ☆72Updated 6 years ago
• zenzike / yoda
  A simple combinator library
  ☆30Updated 7 years ago
• haskell / text-icu
  This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
  ☆49Updated last week
• commercialhaskell / path
  Typed filepath
  ☆126Updated 11 months ago