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.☆23Updated 7 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
- Swift backend for PureScript.☆64Updated 5 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆53Updated 6 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- ☆13Updated 9 years ago
- Model-view-controller☆64Updated 2 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆100Updated 2 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
- Work on type class deriving with elaboration reflection☆32Updated 6 years ago
- A simple GUI for Agda☆31Updated 9 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- LaTeX style file to typeset functional languages like Haskell☆26Updated 12 years ago
- Example uses of monads☆43Updated 6 years ago
- being a thing I build on a Saturday☆28Updated 7 years ago
- Implementation of Dhall in Dhall☆12Updated 3 weeks ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 12 years ago
- Dependently typed core calculus with erasure☆19Updated 4 years ago
- enumerative property-based testing for Haskell☆52Updated 3 weeks ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- A monadic (and pretty) pretty printer for Haskell☆39Updated 2 years ago
- A visualiser for lambda terms as rooted maps.☆13Updated 3 years ago
- Derive editors for data types.☆28Updated 10 years ago
- ☆39Updated last year
- Playing with incremental parsing and later compiler passes☆12Updated 6 years ago
- Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic☆35Updated 7 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 7 years ago