Alternatives and similar repositories for haskell-style-guide

Users that are interested in haskell-style-guide are comparing it to the libraries listed below

• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆60Updated 5 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆37Updated last month
• dmjio / LC3
  The LC3 virtual machine
  ☆24Updated 10 months ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated last year
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆39Updated 9 years ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆32Updated this week
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆37Updated 14 years ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆58Updated last year
• 0x0f0f0f / yasih
  Yet another Scheme implemented in Haskell
  ☆20Updated 5 years ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 6 years ago
• cokmett / cokmett
  Because Kmett is not expressive enough. You need CoKmett!
  ☆35Updated 12 years ago
• evanrelf / drama
  🎭 Actor library for Haskell
  ☆30Updated 2 years ago
• rudymatela / leancheck
  enumerative property-based testing for Haskell
  ☆52Updated 2 months ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆97Updated 7 months ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆37Updated 4 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆70Updated 2 years ago
• cdupont / Timeloop
  ☆41Updated last year
• david-christiansen / idris-code-highlighter
  A semantic highlighter for Idris code
  ☆14Updated 7 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 11 months ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆45Updated 6 months ago
• sdzx-1 / typed-fsm
  A fully type-safe finite state machines
  ☆19Updated 11 months ago
• haskell-perf / graphs
  ☆41Updated 5 years ago
• gallais / potpourri
  Where my everyday research happens
  ☆55Updated 3 weeks ago
• asivitz / Hickory
  Tools for building 3D interactive programs in Haskell
  ☆73Updated last month
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• adamgundry / inch
  A type-checker for Haskell with integer constraints
  ☆42Updated 10 years ago
• themattchan / core
  SPJ's tutorial on implementing functional languages
  ☆29Updated 6 years ago
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 4 years ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated 3 weeks ago