Alternatives and similar repositories for blog-posts:

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

• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆41Updated last year
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆16Updated 4 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• jfdm / velo-lang
  Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
  ☆16Updated 2 years ago
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆20Updated last year
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆29Updated last year
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 8 months ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated 3 weeks ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 4 years ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 2 months ago
• deadpendency / deadpendency
  ☆25Updated 2 years ago
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆64Updated 7 years ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated last month
• guilevieiram / k
  An interpreter for the (made up) k programming language all done in Haskell
  ☆8Updated last year
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆57Updated 10 months ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• AndrasKovacs / misc-stuff
  Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.
  ☆21Updated 2 years ago
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated last year
• nomeata / haskell-via-sokoban
  A haskell tutorial using CodeWorld
  ☆19Updated 3 months ago
• cdupont / Timeloop
  ☆41Updated last year
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆14Updated 3 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated 9 months ago
• stoeffel / haskell-simple-dsl-examples
  Simple examples on how to implement a DSL in Haskell.
  ☆19Updated 5 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• cedille / ial
  The Iowa Agda Library
  ☆47Updated 4 months ago
• haskell-perf / graphs
  ☆40Updated 5 years ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated last year
• thma / generic-persistence
  GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …
  ☆11Updated 3 months ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated last year