Alternatives and similar repositories for ImperativeHaskell:

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

• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 7 years ago
• ku-fpg / sunroof-compiler
  Monadic Javascript Compiler
  ☆73Updated 8 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• isovector / typecraft
  it's a starcraft clone but with a dope typesystem
  ☆49Updated 5 years ago
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆17Updated 2 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• bennofs / haskell-generate
  Type-safe library for generating haskell source code
  ☆28Updated 7 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 6 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 11 months ago
• vmchale / recursion
  Recursion schemes in ATS
  ☆9Updated 3 years ago
• helix-collective / terraform-hs
  A Haskell ADL to generate terraform files.
  ☆17Updated 4 years ago
• cokmett / cokmett
  Because Kmett is not expressive enough. You need CoKmett!
  ☆35Updated 11 years ago
• cdparks / mini-core
  An implementation of the Core language
  ☆30Updated 9 years ago
• Gabriella439 / Haskell-MMorph-Library
  Monad morphisms
  ☆50Updated 2 years ago
• kellino / microML
  a simple functional language for learners
  ☆30Updated 8 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 5 months ago
• ekmett / tagged
  phantom types
  ☆38Updated 3 months ago
• vincenthz / hs-memory
  haskell memory
  ☆48Updated last year
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• david-christiansen / idris-quickcheck
  A port of QuickCheck to Idris
  ☆57Updated 7 years ago
• ghcjs / shims
  GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2
  ☆20Updated 5 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 2 years ago
• AshleyMoni / QuadTree
  QuadTree library for Haskell, using lenses.
  ☆15Updated 6 years ago
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆44Updated 7 months ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated 4 years ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated 6 months ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 6 months ago