Alternatives and similar repositories for blog-posts:

Users that are interested in blog-posts are comparing it to the libraries listed below

• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated last year
• iokasimov / ya
  Extremely composable embeddable programming language
  ☆21Updated this week
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆19Updated 2 years ago
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 6 months ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 3 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 4 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆16Updated 3 weeks ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated last year
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆14Updated 8 months ago
• Soonad / Formality-Haskell
  A Haskell implementation of the Formality language
  ☆18Updated 4 years ago
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 7 months ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆33Updated 4 months ago
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆28Updated 3 months ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆34Updated last year
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated 5 months ago
• thma / generic-persistence
  GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …
  ☆11Updated last month
• Lysxia / advent-of-coq-2021
  ☆40Updated 3 years ago
• ConcreteCactus / lcc
  A compiler that translates a form of lambda calculus to C
  ☆12Updated 9 months ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆28Updated 11 months ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated 11 months ago
• haskellari / some
  Existential type.
  ☆36Updated last month
• haskell-effectful / effectful-contrib
  Libraries for the Effectful Haskell effects system
  ☆22Updated 2 years ago
• deadpendency / deadpendency
  ☆22Updated last year
• michaelpj / abstract-machine-debuggers
  ☆12Updated 5 years ago
• haskell / hsc2hs
  Pre-processor for .hsc files
  ☆39Updated this week
• phadej / cabal-sat
  Using cabal-install as SAT solver
  ☆13Updated last year
• augustss / orthotope
  ☆25Updated 3 weeks ago
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 3 months ago
• evanrelf / drama
  🎭 Actor library for Haskell
  ☆30Updated last year