matijapretnar / eff
A functional programming language based on algebraic effect handlers
☆871Updated 7 months ago
Alternatives and similar repositories for eff:
Users that are interested in eff are comparing it to the libraries listed below
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,023Updated 3 weeks ago
- Functional programming with fewer indirections☆759Updated 4 years ago
- A dependently typed programming language, a successor to Idris☆900Updated 4 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆609Updated 2 weeks ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,038Updated last year
- Concurrent Programming with Effect Handlers