Alternatives and similar repositories for ImperativeHaskell:

Users that are interested in ImperativeHaskell are comparing it to the libraries listed below

• ku-fpg / sunroof-compiler
  Monadic Javascript Compiler
  ☆73Updated 8 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• Gabriella439 / Haskell-MMorph-Library
  Monad morphisms
  ☆50Updated 2 years ago
• ekmett / tagged
  phantom types
  ☆38Updated last month
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆44Updated 6 months ago
• isovector / typecraft
  it's a starcraft clone but with a dope typesystem
  ☆49Updated 4 years ago
• sellout / dualizer
  Delete half (minus ε) of your Haskell code!
  ☆30Updated last month
• vincenthz / hs-memory
  haskell memory
  ☆48Updated last year
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 3 months ago
• rampion / constraint-unions
  A syntax for unions of constraints in Haskell
  ☆70Updated 7 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆52Updated 2 months ago
• cdparks / mini-core
  An implementation of the Core language
  ☆30Updated 9 years ago
• 23Skidoo / pointful
  Stand-alone command-line version of the pointful plugin for Lambdabot.
  ☆26Updated 2 years ago
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated last month
• ekmett / contravariant
  Haskell 98 contravariant functors
  ☆73Updated 5 months ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• iand675 / hs-brotli
  ☆20Updated 5 years ago
• corsis / clock
  High-resolution clock functions: monotonic, realtime, cputime.
  ☆59Updated last year
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago
• vincenthz / hs-connection
  simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.
  ☆60Updated last year
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• dreixel / generic-deriving
  ☆44Updated 2 weeks ago
• evincarofautumn / Toody
  A two-dimensional parser combinator library.
  ☆41Updated 7 years ago
• haskell / text-icu
  This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
  ☆48Updated this week
• ku-fpg / hood
  Hood debugger, based on the idea of observing functions and structures as they are evaluated.
  ☆19Updated 6 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 3 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆59Updated 4 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 9 months ago
• edsko / ghc-dump-tree
  Dump GHC's abstract syntax trees
  ☆41Updated 2 years ago