robrix / ui-effectsLinks
An experiment towards a UI programming model inspired by algebraic effects.
☆30Updated 8 years ago
Alternatives and similar repositories for ui-effects
Users that are interested in ui-effects are comparing it to the libraries listed below
Sorting:
- A lambda calculus to explore type-directed program synthesis.☆85Updated 5 years ago
- Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.☆18Updated 6 years ago
- Inline C & Objective-C in Haskell☆148Updated 8 years ago
- freer monads and cofreer comonads.☆23Updated 7 years ago
- Swift backend for PureScript.☆64Updated 5 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- Example row-polymorphism implementations☆61Updated last year
- ☆18Updated 9 years ago
- LaTeX style file to typeset functional languages like Haskell☆26Updated 12 years ago
- ☆13Updated 9 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 5 years ago
- A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited c…☆27Updated 7 years ago
- A secure sandboxed Haskell interpreter for pure function evaluation☆76Updated last year
- Example uses of monads☆43Updated 6 years ago
- Haskell bindings to the libui C library.☆48Updated 7 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- being a thing I build on a Saturday☆28Updated 7 years ago
- Model-view-controller☆64Updated 3 years ago
- pointed and copointed data☆23Updated 6 months ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Updated 10 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 7 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Updated 2 years ago
- Self-contained repository for the eponymous paper☆30Updated 6 years ago
- A simple GUI for Agda☆31Updated 9 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- SPJ's tutorial on implementing functional languages☆29Updated 6 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆53Updated 6 years ago