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
- freer monads and cofreer comonads.☆21Updated 6 years ago
- Dependently typed core calculus with erasure☆19Updated 3 years ago
- Example row-polymorphism implementations☆61Updated last year
- Swift backend for PureScript.☆64Updated 5 years ago
- pointed and copointed data☆23Updated 3 months ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆54Updated 5 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 11 years ago
- ☆13Updated 8 years ago
- Inline C & Objective-C in Haskell☆146Updated 7 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 universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 7 years ago
- An abstract machine using indexed containers and their zippers☆14Updated 8 years ago
- being bits and pieces I'm inclined to leave lying around☆50Updated 5 months ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- A Specification for Dependent Types in Haskell (Core)☆64Updated 2 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- Prism-based parsers and pretty printers☆17Updated 7 years ago
- Model-view-controller☆64Updated 2 years ago
- LaTeX style file to typeset functional languages like Haskell☆26Updated 12 years ago
- IO using sized types and copatterns☆35Updated 4 years ago
- A simple GUI for Agda☆31Updated 9 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45Updated 3 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- The Evolution of a Typechecker☆54Updated 6 years ago
- a modern library for typed path manipulation in Haskell☆36Updated 3 years ago
- Work on type class deriving with elaboration reflection☆32Updated 6 years ago
- being a thing I build on a Saturday☆28Updated 7 years ago