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.
  ☆85Updated 5 years ago
• scmu / foundations-harper
  Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.
  ☆53Updated 6 years ago
• mchakravarty / language-c-inline
  Inline C & Objective-C in Haskell
  ☆148Updated 8 years ago
• robrix / freer-cofreer
  freer monads and cofreer comonads.
  ☆23Updated 7 years ago
• robrix / Manifold
  Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.
  ☆18Updated 7 years ago
• lexi-lambda / higher-rank
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101Updated 8 years ago
• dorchard / effect-monad
  Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
  ☆99Updated last month
• koengit / KeyMonad
  ☆13Updated 9 years ago
• markokoleznik / agda-writer
  A simple GUI for Agda
  ☆31Updated 10 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• phischu / monad-examples
  Example uses of monads
  ☆43Updated 6 years ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 7 years ago
• jpaykin / LNLHaskell
  Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic
  ☆35Updated 7 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 7 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated 2 years ago
• edofic / effect-handlers
  ☆18Updated 9 years ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆36Updated last year
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago
• gallais / typing-with-leftovers
  Self-contained repository for the eponymous paper
  ☆30Updated 6 years ago
• georgejkaye / lamviz-js
  A visualiser for lambda terms as rooted maps.
  ☆13Updated 4 years ago
• bobatkey / sott
  Simplified Observational Type Theory
  ☆86Updated 2 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• csgordon / cayenne
  Resurrecting Lennart Augustsson's implementation of Cayenne
  ☆37Updated 12 years ago
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆64Updated 3 years ago
• david-christiansen / derive-all-the-instances
  Work on type class deriving with elaboration reflection
  ☆32Updated 7 years ago
• pigworker / MetaprogAgda
  being the materials for Summer 2013's course
  ☆113Updated 2 years ago
• gallais / generic-syntax
  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  ☆77Updated 3 years ago
• habit-lang / alb
  ☆39Updated last year
• lukemaurer / sequent-core
  Alternative Core language for GHC plugins
  ☆39Updated 9 years ago
• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 8 years ago