Alternatives and similar repositories for ui-effects:

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

• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆84Updated 4 years ago
• ekmett / pointed
  pointed and copointed data
  ☆23Updated 2 months ago
• ziman / ttstar
  Dependently typed core calculus with erasure
  ☆18Updated 3 years ago
• koengit / KeyMonad
  ☆13Updated 8 years ago
• robrix / Manifold
  Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.
  ☆18Updated 6 years ago
• mchakravarty / language-c-inline
  Inline C & Objective-C in Haskell
  ☆146Updated 7 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated last year
• robrix / freer-cofreer
  freer monads and cofreer comonads.
  ☆21Updated 6 years ago
• paulyoung / pureswift
  Swift backend for PureScript.
  ☆64Updated 5 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
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆63Updated 2 years ago
• markokoleznik / agda-writer
  A simple GUI for Agda
  ☆31Updated 9 years ago
• csgordon / cayenne
  Resurrecting Lennart Augustsson's implementation of Cayenne
  ☆37Updated 11 years ago
• jonsterling / sml-logical-framework
  Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought
  ☆14Updated 7 years ago
• scmu / foundations-harper
  Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.
  ☆54Updated 5 years ago
• lexi-lambda / higher-rank
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101Updated 7 years ago
• TerenceNg03 / mueval
  A secure sandboxed Haskell interpreter for pure function evaluation
  ☆76Updated 8 months ago
• pigworker / Samizdat
  being bits and pieces I'm inclined to leave lying around
  ☆48Updated last month
• edofic / effect-handlers
  ☆19Updated 8 years ago
• evertedsphere / rien
  Predictable Haskell development environments with Cabal and Nix.
  ☆65Updated 5 years ago
• gallais / typing-with-leftovers
  Self-contained repository for the eponymous paper
  ☆29Updated 6 years ago
• pigworker / Ming
  being the emperor of Mongo, but also a verb
  ☆15Updated 6 years ago
• phischu / monad-examples
  Example uses of monads
  ☆43Updated 6 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• jonsterling / agda-zipper-machine
  An abstract machine using indexed containers and their zippers
  ☆14Updated 8 years ago
• beijaflor-io / haskell-libui
  Haskell bindings to the libui C library.
  ☆47Updated 7 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• lukeg101 / lplzoo
  Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
  ☆36Updated 3 years ago