ebresafegaga / tinaLinks
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
Sorting:
- π©Ί A library for compiler diagnosticsβ46Updated 4 months ago
- A toy dependent typed language.β29Updated last week
- FΟΞΌ type checker and compilerβ54Updated 2 years ago
- A pure type system implemented in OCamlβ78Updated 4 years ago
- π¦ Reusable components based on algebraic effectsβ50Updated 8 months ago
- Playing with type systemsβ51Updated 5 months ago
- A ML-like pure functional language that can be used as a template for creating your own languageβ28Updated 5 months ago
- Runtime assertion checking based on Gospel specificationsβ46Updated last week
- A fancy diagnostics library that allows your compilers to exit with graceβ75Updated 2 months ago
- A pretty-printing combinator library for OCamlβ51Updated 10 months ago
- A compiler and runtime for normalizing the untyped Ξ»-calculusβ31Updated 3 years ago
- multi-shot continuations in OCamlβ48Updated 4 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCamlβ68Updated 3 years ago
- Compile OCaml to standalone ANSI C fileβ44Updated last month
- OxCaml Parallelismβ28Updated last week
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inferenceβ53Updated 4 months ago
- 2d game engine for OCamlβ65Updated 3 months ago
- Duo - A research language exploring duality in programming language designβ57Updated 2 years ago
- flexible 'let rec' generation for MetaOCamlβ26Updated last month
- A declarative command-line parser for OCamlβ43Updated 3 months ago
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!β48Updated 8 months ago
- PBT testsuite and libraries for testing multicore OCamlβ40Updated this week
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writβ¦β22Updated 4 years ago
- A Toy Inverse Bidirectional Typecheckerβ31Updated 6 years ago
- A dependent type theory with user defined data typesβ46Updated 3 years ago
- Automatically generates OCaml FFI bindings and C shim code to C/C++ librariesβ33Updated last year
- Documentation of the OCaml implementationβ53Updated 2 years ago
- A simple Ξ»Prolog interpreterβ20Updated 3 years ago
- Functional Monadic Library for Ocamlβ54Updated this week
- Efficient binder representation in OCamlβ42Updated 11 months ago