Alternatives and similar repositories for haskell-butler

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

• monadicsystems / okapi
  A data-driven micro web framework for Haskell
  ☆103Updated last year
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆103Updated this week
• nh2 / haskell-jobs-statistics
  ☆37Updated 2 years ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated last year
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆81Updated 10 months ago
• luke-clifton / shh
  Simple shell like scripting from Haskell
  ☆287Updated 2 months ago
• ed-o-saurus / PLHaskell
  An extension for PostgreSQL that allows embedded Haskell code.
  ☆140Updated 4 months ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆231Updated 4 months ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆98Updated 3 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆36Updated last week
• serras / hinc
  Haskell In New Clothes
  ☆110Updated 5 years ago
• Pedro-V / functional-asteroids
  Mini-game built on a functional style
  ☆12Updated 3 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆169Updated 9 months ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆112Updated last month
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆193Updated 2 years ago
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆179Updated 5 months ago
• Gandalf- / coreutils
  Unix core utilities implemented in Haskell
  ☆287Updated 4 months ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆89Updated 2 months ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆204Updated last week
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• cole-k / call-by-push-block
  ⛳ Sokoban game in 10 lines of Haskell
  ☆26Updated 2 years ago
• haskell-game / tiny-games-hs
  Haskell Tiny Game Jam
  ☆167Updated 2 years ago
• alpacaaa / quad-ci
  A CI server written in Simple Haskell.
  ☆191Updated 3 years ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆177Updated 4 years ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆115Updated this week
• NorfairKing / really-safe-money
  Uncompromisingly safe money library
  ☆60Updated 3 months ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆214Updated 2 years ago
• stevana / property-based-testing-stateful-systems-tutorial
  A tutorial about how to apply property-based testing to stateful systems.
  ☆78Updated 2 years ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated last year
• effectfully-ou / sketches
  A Haskell blog
  ☆148Updated last month