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 6 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated last year
• robrix / freer-cofreer
  freer monads and cofreer comonads.
  ☆21Updated 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
• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆85Updated 5 years ago
• koengit / KeyMonad
  ☆13Updated 8 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 7 years ago
• david-christiansen / derive-all-the-instances
  Work on type class deriving with elaboration reflection
  ☆32Updated 6 years ago
• ziman / ttstar
  Dependently typed core calculus with erasure
  ☆19Updated 3 years ago
• gallais / typing-with-leftovers
  Self-contained repository for the eponymous paper
  ☆30Updated 6 years ago
• ekmett / pointed
  pointed and copointed data
  ☆23Updated 4 months ago
• scmu / foundations-harper
  Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.
  ☆54Updated 5 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• georgejkaye / lamviz-js
  A visualiser for lambda terms as rooted maps.
  ☆13Updated 3 years ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 7 years ago
• mchakravarty / haskell.sty
  LaTeX style file to typeset functional languages like Haskell
  ☆26Updated 12 years ago
• edofic / effect-handlers
  ☆18Updated 9 years ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 7 years ago
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆64Updated 2 years ago
• csgordon / cayenne
  Resurrecting Lennart Augustsson's implementation of Cayenne
  ☆38Updated 11 years ago
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 5 years ago
• mchakravarty / language-c-inline
  Inline C & Objective-C in Haskell
  ☆146Updated 7 years ago
• lukeg101 / lplzoo
  Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
  ☆36Updated 4 years ago
• pedagand / typechecker-evolution
  The Evolution of a Typechecker
  ☆54Updated 6 years ago
• david-christiansen / final-pretty-printer
  A monadic (and pretty) pretty printer for Haskell
  ☆38Updated 2 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆65Updated 11 years ago
• pigworker / Ming
  being the emperor of Mongo, but also a verb
  ☆15Updated 6 years ago
• andreasabel / strong-normalization
  Formalizations of strong normalization proofs
  ☆35Updated 6 years ago
• paulyoung / pureswift
  Swift backend for PureScript.
  ☆64Updated 5 years ago
• RedPRL / sml-typed-abts
  second-order abstract syntax
  ☆31Updated 3 years ago