ebresafegaga / tina
Tina, a programming language with typed algebraic effects and handlers.
☆13Updated 3 years ago
Alternatives and similar repositories for tina:
Users that are interested in tina are comparing it to the libraries listed below
- A pure type system implemented in OCaml☆78Updated 4 years ago
- ☆31Updated 6 months ago
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!☆48Updated 5 months ago
- Fωμ type checker and compiler☆54Updated 2 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- 🩺 A library for compiler diagnostics☆41Updated 2 months ago
- 🦠 Reusable components based on algebraic effects☆50Updated 6 months ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 2 months ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆39Updated 4 months ago
- Playing with type systems☆50Updated 3 months ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆43Updated 2 months ago
- A toy dependent typed language.☆28Updated 2 weeks ago
- A simple λProlog interpreter☆20Updated 3 years ago
- A pretty-printing combinator library for OCaml☆49Updated 8 months ago
- an encoding of affine effect handlers using pthreads☆14Updated 2 years ago
- A fancy diagnostics library that allows your compilers to exit with grace☆72Updated last week
- bollu learns implementation of dependent typing☆28Updated 2 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 3 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆60Updated 3 years ago
- multi-shot continuations in OCaml☆48Updated 2 months ago
- Admiran compiler, library, and examples☆60Updated this week
- Efficient effect handlers based on Evidence Passing Semantics.☆28Updated 4 years ago
- A parsing library that compiles grammars to combinators using elimination of left recursion☆22Updated last year
- Algebraic structures in OCaml.☆23Updated last month
- Prototype for https://github.com/Innf107/vega☆19Updated 8 months ago
- A simple functional programming language.☆21Updated 3 years ago
- ☆11Updated 8 months ago
- 🪆 A Staged Type Theory☆35Updated last year