Alternatives and similar repositories for ui-effects

Users that are interested in ui-effects are comparing it to the libraries listed below

• robrix / Manifold
  Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.
  ☆18Updated 7 years ago
• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆85Updated 5 years ago
• mchakravarty / language-c-inline
  Inline C & Objective-C in Haskell
  ☆148Updated 8 years ago
• mchakravarty / haskell.sty
  LaTeX style file to typeset functional languages like Haskell
  ☆26Updated 12 years ago
• robrix / freer-cofreer
  freer monads and cofreer comonads.
  ☆23Updated 7 years 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
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 7 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 7 years ago
• koengit / KeyMonad
  ☆13Updated 9 years ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 7 years ago
• frasertweedale / hs-fresnel
  Prism-based parsers and pretty printers
  ☆17Updated 7 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated 2 years ago
• mbg / hindley-milner
  Template for Hindley-Milner based languages
  ☆39Updated 3 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 5 years ago
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆64Updated 3 years ago
• paf31 / purescript-smash
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Updated 5 years ago
• csgordon / cayenne
  Resurrecting Lennart Augustsson's implementation of Cayenne
  ☆37Updated 12 years ago
• tranma / empirical-big-oh
  Measure time complexity empirically.
  ☆48Updated 10 years ago
• mstksg / functor-combinators
  Combine and enhance Functors
  ☆39Updated 3 months ago
• ku-fpg / data-reify
  Reification of data structures using observable sharing
  ☆29Updated last year
• Icelandjack / Capabilities
  A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited c…
  ☆27Updated 7 years ago
• habit-lang / alb
  ☆39Updated last year
• TerenceNg03 / mueval
  A secure sandboxed Haskell interpreter for pure function evaluation
  ☆76Updated last year
• paulyoung / pureswift
  Swift backend for PureScript.
  ☆64Updated 5 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• pigworker / Ming
  being the emperor of Mongo, but also a verb
  ☆15Updated 6 years ago
• alanz / incremental-play
  Playing with incremental parsing and later compiler passes
  ☆12Updated 6 years ago
• sellout / dhall-dhall
  Implementation of Dhall in Dhall
  ☆12Updated this week
• edofic / effect-handlers
  ☆18Updated 9 years ago
• dorchard / effect-monad
  Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
  ☆99Updated last month