Alternatives and similar repositories for haskell-butler

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

• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆97Updated 3 years ago
• 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
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 10 months ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆190Updated 2 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆225Updated last week
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 2 years ago
• NorfairKing / really-safe-money
  Uncompromisingly safe money library
  ☆55Updated 2 months ago
• nh2 / haskell-jobs-statistics
  ☆37Updated last year
• chrisdone-archive / inflex
  Pure, statically typed, content-addressable, programming language for spreadsheet use
  ☆27Updated 2 years ago
• Anut-py / ghc-web-test
  ☆15Updated last year
• luke-clifton / shh
  Simple shell like scripting from Haskell
  ☆287Updated 9 months ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆88Updated last week
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆179Updated 2 months ago
• alpacaaa / quad-ci
  A CI server written in Simple Haskell.
  ☆190Updated 3 years ago
• ed-o-saurus / PLHaskell
  An extension for PostgreSQL that allows embedded Haskell code.
  ☆139Updated 2 weeks ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 3 months ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆167Updated 5 months ago
• 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
• cdupont / Timeloop
  ☆41Updated last year
• ad-si / Brillo
  Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
  ☆38Updated 3 months ago
• Simspace / avaleryar
  A logical authorization system
  ☆50Updated 3 years ago
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆117Updated 4 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆214Updated 2 years ago
• effectfully-ou / sketches
  A Haskell blog
  ☆139Updated 10 months ago
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated 7 months ago
• stevana / property-based-testing-stateful-systems-tutorial
  A tutorial about how to apply property-based testing to stateful systems.
  ☆78Updated 2 years ago
• Gizra / ihp-simple-seat-reservation
  ☆20Updated last year
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 2 years ago