Alternatives and similar repositories for ui-effects:

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

• ekmett / pointed
  pointed and copointed data
  ☆23Updated 3 months ago
• koengit / KeyMonad
  ☆13Updated 8 years ago
• thalerjonathan / gloss-idris
  A port of the gloss library from Haskell to Idris
  ☆22Updated 6 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 / freer-cofreer
  freer monads and cofreer comonads.
  ☆21Updated 6 years ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 6 years ago
• robrix / Manifold
  Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.
  ☆18Updated 6 years ago
• ziman / ttstar
  Dependently typed core calculus with erasure
  ☆19Updated 3 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
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 4 years ago
• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆84Updated 5 years ago
• mainland / language-c-quote
  ☆58Updated 7 months ago
• lambdageek / freer-church
  Church-encoding of the Freer monad
  ☆28Updated 8 years ago
• pedagand / typechecker-evolution
  The Evolution of a Typechecker
  ☆54Updated 6 years ago
• jonsterling / agda-zipper-machine
  An abstract machine using indexed containers and their zippers
  ☆14Updated 8 years ago
• mbg / hindley-milner
  Template for Hindley-Milner based languages
  ☆39Updated 3 years ago
• ekmett / perhaps
  A monad, perhaps.
  ☆32Updated 5 years ago
• mchakravarty / language-c-inline
  Inline C & Objective-C in Haskell
  ☆146Updated 7 years ago
• tranma / almost-complexity
  complexity testing for haskell
  ☆48Updated 9 years ago
• patrickt / empathy
  a modern library for typed path manipulation in Haskell
  ☆36Updated 3 years ago
• rudymatela / leancheck
  enumerative property-based testing for Haskell
  ☆53Updated 3 weeks ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago
• pedagand / MPRI-2.4-DTP
  MPRI-2.4 Dependently-typed Functional Programming
  ☆32Updated 4 years ago
• ahmadsalim / desc-n-crunch
  Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.
  ☆11Updated 6 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 6 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
• ku-fpg / data-reify
  Reification of data structures using observable sharing
  ☆28Updated 3 months ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• gallais / agda-sizedIO
  IO using sized types and copatterns
  ☆33Updated 3 years ago