robrix / ui-effects

Related projects ⓘ

Alternatives and complementary repositories for ui-effects

• robrix / freer-cofreer
  freer monads and cofreer comonads.
  ☆21Updated 6 years ago
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆62Updated 2 years ago
• koengit / KeyMonad
  ☆13Updated 8 years ago
• paulyoung / pureswift
  Swift backend for PureScript.
  ☆64Updated 4 years ago
• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆84Updated 4 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
  ☆18Updated 3 years ago
• patrickt / empathy
  a modern library for typed path manipulation in Haskell
  ☆36Updated 3 years ago
• ekmett / pointed
  pointed and copointed data
  ☆23Updated 3 weeks ago
• mainland / language-c-quote
  ☆58Updated 4 months ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆59Updated last year
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 4 years ago
• alanz / incremental-play
  Playing with incremental parsing and later compiler passes
  ☆12Updated 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 6 years ago
• TerenceNg03 / mueval
  A secure sandboxed Haskell interpreter for pure function evaluation
  ☆77Updated 7 months ago
• georgejkaye / lamviz-js
  A visualiser for lambda terms as rooted maps.
  ☆13Updated 2 years ago
• edofic / effect-handlers
  ☆19Updated 8 years ago
• sellout / haskerwaul
  Category theory concepts in type classes and instances.
  ☆20Updated last month
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• lexi-lambda / higher-rank
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101Updated 7 years ago
• EduardSergeev / monad-memo
  Memoization monad transformer
  ☆30Updated 6 months ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 6 years ago
• mxswd / editable
  Derive editors for data types.
  ☆28Updated 10 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 7 months ago
• paf31 / purescript-smash
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Updated 4 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
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆25Updated 6 years ago
• haskell-pkg-janitors / haskell-src
  Library for manipulating Haskell source code
  ☆22Updated 2 months ago