Alternatives and similar repositories for haskell-church-encodings

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

• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆162Updated 5 years ago
• qfpl / hpython
  Haskell language tools for Python
  ☆163Updated 5 years ago
• cronburg / antlr-haskell
  A language parsing quasiquoter for Haskell based heavily on ANTLR4.
  ☆52Updated 5 years ago
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆81Updated 4 years ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆155Updated last month
• haskell / primitive
  This package provides various primitive memory-related operations.
  ☆121Updated last month
• ekmett / coda
  A language experiment -- irc.freenode.net ##coda
  ☆163Updated last year
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆120Updated 3 years ago
• ucsd-progsys / liquidhaskell-tutorial
  Tutorial for LiquidHaskell
  ☆81Updated last year
• tweag / capability
  Extensional capabilities and deriving combinators
  ☆223Updated 3 months ago
• goldfirere / singletons
  Fake dependent types in Haskell using singletons
  ☆293Updated 2 weeks ago
• haskell / parallel
  a library for parallel programming
  ☆97Updated 3 weeks ago
• ChrisPenner / wc
  Beating unix `wc` in Haskell
  ☆137Updated 4 years ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆125Updated last year
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆211Updated 6 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆164Updated 3 weeks ago
• haskell / stm
  Software Transactional Memory
  ☆113Updated 7 months ago
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆190Updated last week
• ndmitchell / debug
  Haskell library for debugging
  ☆122Updated 6 years ago
• sdiehl / repline
  Haskeline wrapper for GHCi-like REPL interfaces
  ☆108Updated 8 months ago
• ekmett / kan-extensions
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆83Updated 2 weeks ago
• snowleopard / selective
  Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆210Updated 3 months ago
• haskell-suite / haskell-src-exts
  Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
  ☆202Updated 2 years ago
• patrickt / recschemes
  Text and Haskell source for my blog series on recursion schemes.
  ☆47Updated 3 years ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆84Updated last week
• gallais / idris-tparsec
  TParsec - Total Parser Combinators in Idris
  ☆99Updated 2 years ago
• ekmett / parsers
  Generic parser combinators
  ☆90Updated 10 months ago
• kowainik / typerep-map
  ⚡️Efficient implementation of Map with types as keys
  ☆102Updated 2 weeks ago
• ekmett / hask
  Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
  ☆161Updated 4 years ago
• myuon / ghc-compiler-notes
  A collection of Notes on GHC
  ☆71Updated 6 years ago