Alternatives and similar repositories for haskell-church-encodings

Users that are interested in haskell-church-encodings are comparing it to the libraries listed below

• qfpl / hpython
  Haskell language tools for Python
  ☆162Updated 5 years ago
• goldfirere / singletons
  Fake dependent types in Haskell using singletons
  ☆291Updated 4 months ago
• haskell-suite / haskell-src-exts
  Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
  ☆202Updated 2 years ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆161Updated 4 years ago
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆118Updated 2 years ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆156Updated last month
• haskell / parallel
  a library for parallel programming
  ☆97Updated 2 months ago
• ekmett / coda
  A language experiment -- irc.freenode.net ##coda
  ☆164Updated last year
• ndmitchell / debug
  Haskell library for debugging
  ☆122Updated 5 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆162Updated 2 weeks ago
• cronburg / antlr-haskell
  A language parsing quasiquoter for Haskell based heavily on ANTLR4.
  ☆52Updated 4 years ago
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆70Updated 2 weeks ago
• digital-asset / ghc-lib
  The GHC API, decoupled from GHC versions
  ☆162Updated 3 weeks ago
• haskell / fgl
  A Functional Graph Library for Haskell
  ☆193Updated 10 months ago
• DanBurton / tardis
  ☆110Updated last month
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆208Updated 5 years ago
• fpco / applied-haskell
  ☆80Updated 6 years ago
• patrickt / recschemes
  Text and Haskell source for my blog series on recursion schemes.
  ☆45Updated 3 years ago
• haskell / stm
  Software Transactional Memory
  ☆108Updated 2 months ago
• tweag / capability
  Extensional capabilities and deriving combinators
  ☆219Updated last year
• haskell / primitive
  This package provides various primitive memory-related operations.
  ☆119Updated 4 months ago
• def- / ghc-vis
  Visualize live Haskell data structures in GHCi
  ☆138Updated last year
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆73Updated 2 years ago
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆225Updated 4 months ago
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆146Updated 9 months ago
• lehins / scheduler
  A work stealing scheduler
  ☆74Updated 6 months ago
• target / row-types
  A Haskell library for open records and variants using closed type families and type literals
  ☆112Updated 3 years ago
• aneksteind / Core
  compile your own functional language
  ☆36Updated 6 years ago
• ekmett / hask
  Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
  ☆162Updated 4 years ago
• ekmett / kan-extensions
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆80Updated last month