effekt-lang / effekt
A language with lexical effect handlers and lightweight effect polymorphism
☆348Updated this week
Alternatives and similar repositories for effekt:
Users that are interested in effekt are comparing it to the libraries listed below
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆607Updated last month
- A fast functional language based on two level type theory☆389Updated 2 years ago
- A categorical programming language with effects☆275Updated 2 years ago
- Dependent type checker using normalisation by evaluation☆258Updated 6 months ago
- Frank compiler☆288Updated 11 months ago
- A series of down-to-earth articles on implementing type inference☆153Updated 4 years ago
- A simple ML-like programming language with subtyping and full type inference.☆170Updated 3 months ago
- ☆214Updated last month
- 1ML prototype interpreter☆280Updated 4 years ago
- Functional programming with fewer indirections☆760Updated 4 years ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆186Updated last week
- A garden of small programming language implementations 🪴☆218Updated this week
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆375Updated last year
- Bootstrapping ATS3☆209Updated last month
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- A ready-to-fork interpreted functional language with type inference☆391Updated last year
- Minimal implementations for dependent type checking and elaboration☆646Updated 2 months ago
- Haskell implemented with combinators☆458Updated last week
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,035Updated last year
- Inpla: Interaction nets as a programming language (the current version)☆295Updated 4 months ago
- Demo for high-performance type theory elaboration☆541Updated last year
- A modern supercompiler for call-by-value functional languages☆403Updated this week
- Standard library for linear types in Haskell.☆342Updated 4 months ago
- Embeddable Lambda Prolog Interpreter☆305Updated this week
- Contextual types meet mechanized metatheory!☆187Updated 7 months ago
- A Language with Dependent Data and Codata Types☆89Updated this week
- A dependently typed programming language, a successor to Idris☆899Updated 4 years ago
- ☆113Updated last month
- Compiler for the Mirth programming language.☆460Updated this week
- A functional programming language based on algebraic effect handlers☆869Updated 6 months ago