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:
- Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.☆18Updated 6 years ago
- A lambda calculus to explore type-directed program synthesis.☆85Updated 5 years ago
- Inline C & Objective-C in Haskell☆147Updated 8 years ago
- freer monads and cofreer comonads.☆23Updated 7 years ago
- being a thing I build on a Saturday☆28Updated 7 years ago
- A secure sandboxed Haskell interpreter for pure function evaluation☆76Updated last year
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 7 years ago
- LaTeX style file to typeset functional languages like Haskell☆26Updated 12 years ago
- Model-view-controller☆64Updated 2 years ago
- Playing with incremental parsing and later compiler passes☆12Updated 6 years ago
- Swift backend for PureScript.☆64Updated 5 years ago
- ☆13Updated 9 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆54Updated 6 years ago
- Dependently typed core calculus with erasure☆19Updated 3 years ago
- Prism-based parsers and pretty printers☆17Updated 7 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- Example row-polymorphism implementations☆61Updated last year
- being the emperor of Mongo, but also a verb☆15Updated 6 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.☆100Updated 2 years ago
- Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought☆14Updated 8 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
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- Combine and enhance Functors☆39Updated last month
- Simplified Observational Type Theory☆83Updated 2 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- a modern library for typed path manipulation in Haskell☆36Updated 2 weeks ago
- A monadic (and pretty) pretty printer for Haskell☆38Updated 2 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago