Alternatives and similar repositories for imperative-edsl:

Users that are interested in imperative-edsl are comparing it to the libraries listed below

• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 2 weeks ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• DanBurton / system-f
  System F implemented in Haskell
  ☆24Updated 12 years ago
• laurmcarter / type-combinators
  Type level lists, pairs, sums, their operations, and their properties.
  ☆24Updated 6 years ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 6 years ago
• clash-lang / ghc-typelits-knownnat
  Derive KnownNat constraints from other KnownNat constraints
  ☆14Updated 7 months ago
• sjoerdvisscher / free-functors
  Provides free functors that are adjoint to functors that forget class constraints.
  ☆28Updated 4 months ago
• acowley / BostonHaskell2015
  [Talk] Framing the Discussion with EDSLs
  ☆9Updated 9 years ago
• pcapriotti / agda-categories
  Category theory and algebra
  ☆28Updated 8 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆36Updated 13 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated last month
• emilaxelsson / trackit
  A command-line tool for live monitoring
  ☆25Updated 2 years ago
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago
• atzeus / type-aligned
  Various type-aligned sequence data structures.
  ☆20Updated 3 years ago
• thsutton / cha
  A port of miniprl to Haskell with co-/inductive types bolted on the side.
  ☆22Updated 8 years ago
• int-index / union
  Extensible type-safe unions for Haskell
  ☆33Updated 4 months ago
• byteverse / json-syntax
  High-performance JSON parser
  ☆26Updated 8 months ago
• Lysxia / generic-recursion-schemes
  Folds for recursive types with GHC Generics
  ☆26Updated 4 years ago
• twanvl / multiset
  multiset haskell package
  ☆19Updated last year
• david-christiansen / derive-all-the-instances
  Work on type class deriving with elaboration reflection
  ☆32Updated 6 years ago
• phadej / staged
  Staged Streams and other stuff
  ☆18Updated 2 years ago
• twanvl / ttie
  Type Theory with Indexed Equality
  ☆23Updated 7 years ago
• gallais / typing-with-leftovers
  Self-contained repository for the eponymous paper
  ☆29Updated 6 years ago
• shayan-najd / MiniFeldspar
  ☆23Updated 9 years ago
• Gabriella439 / managed
  A monad for managed values
  ☆50Updated last year
• Gabriella439 / Haskell-Total-Library
  Exhaustive pattern matching using lenses, traversals, and prisms
  ☆32Updated 2 years ago
• haskell / ghc-events
  Library and tool for parsing .eventlog files from GHC
  ☆33Updated 3 weeks ago
• gergoerdi / universe-of-syntax
  A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…
  ☆16Updated 7 years ago
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated last month