Alternatives and similar repositories for haskell-church-encodings

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

• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆117Updated 2 years ago
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆146Updated 9 months ago
• qfpl / hpython
  Haskell language tools for Python
  ☆160Updated 5 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
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆163Updated 6 months ago
• ekmett / kan-extensions
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆80Updated last month
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆125Updated 6 months ago
• spl / dlist
  Difference lists in Haskell
  ☆65Updated last year
• grin-compiler / ghc-whole-program-compiler-project
  GHC Whole Program Compiler and External STG IR tooling
  ☆118Updated 8 months ago
• haskell-suite / haskell-src-exts
  Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
  ☆202Updated last year
• pa-ba / compdata
  Haskell library implementing "Data Types a la Carte"
  ☆90Updated last year
• sdiehl / repline
  Haskeline wrapper for GHCi-like REPL interfaces
  ☆107Updated 2 months ago
• ndmitchell / debug
  Haskell library for debugging
  ☆122Updated 5 years ago
• KingoftheHomeless / in-other-words
  A higher-order effect system where the sky's the limit
  ☆91Updated 3 years ago
• target / row-types
  A Haskell library for open records and variants using closed type families and type literals
  ☆112Updated 3 years ago
• tweag / capability
  Extensional capabilities and deriving combinators
  ☆218Updated last year
• DanBurton / tardis
  ☆111Updated 2 weeks ago
• goldfirere / singletons
  Fake dependent types in Haskell using singletons
  ☆292Updated 3 months ago
• snowleopard / alga-paper
  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
  ☆197Updated 3 years ago
• patrickt / haskell-project-ideas
  Free ideas, worth every penny
  ☆32Updated 4 years ago
• kowainik / typerep-map
  ⚡️Efficient implementation of Map with types as keys
  ☆100Updated last year
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆70Updated last week
• i-am-tom / higgledy
  Higher-kinded data via generics
  ☆170Updated 10 months ago
• haskell-perf / dictionaries
  Benchmarks for dictionary data structures: hash tables, maps, tries, etc.
  ☆97Updated 3 years ago
• haskell / stm
  Software Transactional Memory
  ☆106Updated last month
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 4 years ago
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆177Updated last month
• ekmett / coda
  A language experiment -- irc.freenode.net ##coda
  ☆163Updated last year
• digital-asset / ghc-lib
  The GHC API, decoupled from GHC versions
  ☆162Updated last month
• cronburg / antlr-haskell
  A language parsing quasiquoter for Haskell based heavily on ANTLR4.
  ☆52Updated 4 years ago