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
- freer monads and cofreer comonads.☆21Updated 6 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
- Dependently typed core calculus with erasure☆19Updated 3 years ago
- ☆13Updated 8 years ago
- Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought☆14Updated 8 years ago
- Swift backend for PureScript.☆64Updated 5 years ago
- An abstract machine using indexed containers and their zippers☆14Updated 8 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆54Updated 5 years ago
- A lambda calculus to explore type-directed program synthesis.☆85Updated 5 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Example row-polymorphism implementations☆61Updated last year
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆73Updated 3 years ago
- being bits and pieces I'm inclined to leave lying around☆50Updated 6 months ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- The Evolution of a Typechecker☆54Updated 6 years ago
- Derive editors for data types.☆28Updated 10 years ago
- A port of the gloss library from Haskell to Idris☆22Updated 6 years ago
- Inline C & Objective-C in Haskell☆146Updated 7 years ago
- pointed and copointed data☆23Updated 3 months ago
- Self-contained repository for the eponymous paper☆30Updated 6 years ago
- Work on type class deriving with elaboration reflection☆32Updated 6 years ago
- LaTeX style file to typeset functional languages like Haskell☆26Updated 12 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22Updated 9 years ago
- Formalizations of strong normalization proofs☆35Updated 5 years ago
- A simple GUI for Agda☆31Updated 9 years ago
- https://metaborg.github.io/mj.agda/☆12Updated 4 years ago
- Model-view-controller☆64Updated 2 years ago
- Miller/pattern unification in Agda☆65Updated 11 years ago
- A visualiser for lambda terms as rooted maps.☆13Updated 3 years ago