Alternatives and similar repositories for solution-haskell-craft-of-FP

Users that are interested in solution-haskell-craft-of-FP are comparing it to the libraries listed below

• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆155Updated last month
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆281Updated 4 years ago
• jwiegley / coq-haskell
  A library for formalizing Haskell types and functions in Coq
  ☆170Updated last year
• pigworker / CS410-17
  being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…
  ☆263Updated 7 years ago
• zerokarmaleft / tapl-haskell
  Types and Programming Languages
  ☆37Updated 10 years ago
• uhub / awesome-coq
  A curated list of awesome Coq frameworks, libraries and software.
  ☆234Updated this week
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆205Updated 5 years ago
• mietek / sf
  Mirror of Software Foundations in PDF
  ☆303Updated 4 years ago
• mgrabmueller / TransformersStepByStep
  Tutorial on monad transformers
  ☆60Updated 3 years ago
• OpenPAL / TypeAndProof
  https://openpal.github.io/TypeAndProof/
  ☆99Updated 8 years ago
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆224Updated 3 months ago
• LeifAndersen / PLGradSchools
  ☆233Updated 11 months ago
• gasche / icfp2017-papers
  Link to preprints for ICFP'17 and colocated events
  ☆136Updated 7 years ago
• patrickt / recschemes
  Text and Haskell source for my blog series on recursion schemes.
  ☆45Updated 3 years ago
• haskell / haskell-report
  Haskell Language Report
  ☆91Updated 5 years ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆348Updated 7 months ago
• haskell / alex
  A lexical analyser generator for Haskell
  ☆310Updated 3 months ago
• JKTKops / Write-You-a-Haskell-2
  A continuation of Stephen Diehl's Write You a Haskell
  ☆161Updated 4 years ago
• rocq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆166Updated 2 months ago
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated last year
• RobertHarper / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆55Updated 4 years ago
• plclub / cis670-16fa
  Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016
  ☆42Updated 2 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆164Updated 2 years ago
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆146Updated 9 months ago
• haskell / fgl
  A Functional Graph Library for Haskell
  ☆190Updated 9 months ago
• Risto-Stevcev / haskell-church-encodings
  Church encodings written in Haskell
  ☆25Updated 5 years ago
• haskell / happy
  The Happy parser generator for Haskell
  ☆301Updated 2 months ago
• goldfirere / singletons
  Fake dependent types in Haskell using singletons
  ☆292Updated 3 months ago
• qfpl / hpython
  Haskell language tools for Python
  ☆160Updated 5 years ago
• derekmcloughlin / pearls
  Pearls of Functional Algorithm Design by Richard Bird - Haskell Code
  ☆189Updated 9 years ago