Alternatives and similar repositories for TransformersStepByStep:

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

• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆117Updated 2 years ago
• well-typed / visualize-cbn
  ☆99Updated last week
• effectfully-ou / sketches
  A Haskell blog
  ☆132Updated 6 months ago
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 4 years ago
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated last year
• tdietert / types-as-specifications
  ☆48Updated 5 years ago
• patrickt / recschemes
  Text and Haskell source for my blog series on recursion schemes.
  ☆45Updated 2 years ago
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆175Updated 2 weeks ago
• dnikolovv / practical-haskell
  A collection of Practical Haskell bits.
  ☆84Updated 2 years ago
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆77Updated 2 years ago
• tomjaguarpaw / bluefin
  ☆80Updated this week
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆73Updated last week
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆204Updated 5 years ago
• mstksg / inCode
  Source for personal blog.
  ☆77Updated 2 months ago
• pigworker / CS410-18
  being the teaching materials and exercises for CS410 in the 2018/19 session
  ☆56Updated 5 years ago
• pepeiborra / hls-tutorial
  A tutorial on writing Haskell Language Server plugins
  ☆70Updated 4 years ago
• haskell-github-trust / replace-megaparsec
  Stream editing with Haskell Megaparsec parsers
  ☆79Updated 7 months ago
• tomsmeding / pastebin-haskell
  Pastebin service in haskell
  ☆31Updated last month
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆87Updated this week
• wasp-lang / haskell-handbook
  Best practices on how to be efficient with Haskell in production
  ☆95Updated 6 months ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆123Updated 5 months ago
• chiroptical / declarative-programming-streams
  Active streaming declarative programmers. See who's online at the following URL:
  ☆67Updated last year
• sdiehl / repline
  Haskeline wrapper for GHCi-like REPL interfaces
  ☆107Updated last year
• codedownio / time-ghc-modules
  Analyze GHC .dump-timings files
  ☆104Updated 11 months ago
• matt-noonan / justified-containers
  Standard containers, with keys that carry type-level proofs of their own presence.
  ☆79Updated 4 years ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆182Updated this week
• NorfairKing / haskell-dangerous-functions
  Documentation about Haskell's dangerous functions and a hlint config file to warn about them
  ☆166Updated last year
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆72Updated 2 years ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 3 years ago
• awkward-squad / ki
  A structured concurrency library
  ☆85Updated last week