Alternatives and similar repositories for alexhappy

Users that are interested in alexhappy are comparing it to the libraries listed below

• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• aisamanra / s-cargot
  Elaborate and expressive S-Expression library for Haskell
  ☆65Updated last year
• sseefried / open-epidemic-game
  A game about exponential growth written in Haskell
  ☆31Updated 9 years ago
• mstksg / inCode
  Source for personal blog.
  ☆78Updated 3 months ago
• nomeata / ghc-justdoit
  A magic typeclass that just does it
  ☆126Updated 3 years ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆41Updated 2 years ago
• hunt-framework / hayoo
  Hackage search engine
  ☆56Updated 7 years ago
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆47Updated 5 years ago
• isovector / ecstasy
  a GHC.Generics-based entity component system
  ☆77Updated 5 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 7 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• stepcut / plugins
  Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.
  ☆53Updated 2 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆20Updated 10 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated 2 months ago
• ekmett / kan-extensions
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆83Updated 2 months ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 6 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 7 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 2 months ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 8 years ago
• KesterTong / idris2048
  2048 in Idris
  ☆123Updated 8 years ago
• oinoom / Core
  compile your own functional language
  ☆36Updated 6 years ago
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆78Updated 11 years ago
• isovector / typecraft
  it's a starcraft clone but with a dope typesystem
  ☆51Updated 5 years ago
• kowainik / slist
  ♾️ Sized list
  ☆47Updated last year
• mgsloan / store
  Fast binary serialization in Haskell
  ☆110Updated last year
• ekmett / comonad
  Haskell 98 comonads
  ☆78Updated 9 months ago
• sdiehl / repline
  Haskeline wrapper for GHCi-like REPL interfaces
  ☆106Updated 7 months ago
• jaseemabid / lisper
  A tiny scheme interpreter in Haskell
  ☆24Updated 6 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago