robrix / ui-effects

Related projects ⓘ

Alternatives and complementary repositories for ui-effects

• koengit / KeyMonad
  ☆13Updated 8 years ago
• ekmett / pointed
  pointed and copointed data
  ☆23Updated 2 weeks ago
• phischu / monad-examples
  Example uses of monads
  ☆43Updated 5 years ago
• mchakravarty / language-c-inline
  Inline C & Objective-C in Haskell
  ☆147Updated 7 years ago
• patrickt / bracer
  a language workbench for parsing and transforming curly-brace languages
  ☆42Updated 8 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 6 years ago
• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆84Updated 4 years ago
• mainland / language-c-quote
  ☆58Updated 4 months ago
• robrix / freer-cofreer
  freer monads and cofreer comonads.
  ☆21Updated 6 years ago
• evertedsphere / rien
  Predictable Haskell development environments with Cabal and Nix.
  ☆65Updated 5 years ago
• ekmett / perhaps
  A monad, perhaps.
  ☆33Updated 4 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆95Updated 7 years ago
• lexi-lambda / higher-rank
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101Updated 7 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• tranma / almost-complexity
  complexity testing for haskell
  ☆47Updated 8 years ago
• haskellari / these
  An either-or-both data type, with corresponding hybrid error/writer monad transformer.
  ☆117Updated 3 months ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆59Updated last year
• dorchard / effect-monad
  Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
  ☆99Updated last year
• patrickt / empathy
  a modern library for typed path manipulation in Haskell
  ☆36Updated 3 years ago
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆62Updated 2 years ago
• beijaflor-io / haskell-libui
  Haskell bindings to the libui C library.
  ☆47Updated 6 years ago
• mstksg / functor-combinators
  Combine and enhance Functors
  ☆39Updated 10 months ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 6 months ago
• kellino / microML
  a simple functional language for learners
  ☆30Updated 7 years ago
• ocharles / logging-effect
  A very general logging effect for Haskell
  ☆60Updated 6 months ago
• TerenceNg03 / mueval
  A secure sandboxed Haskell interpreter for pure function evaluation
  ☆77Updated 6 months ago
• gallais / typing-with-leftovers
  Self-contained repository for the eponymous paper
  ☆29Updated 5 years ago
• bamboo / IdrisUnityPlayground
  Experiments in Idris / Unity integration.
  ☆49Updated 8 years ago
• bfops / open-union
  Type-safe open unions in Haskell
  ☆30Updated 6 years ago