hkust-taco / mlscriptLinks
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
☆191Updated last week
Alternatives and similar repositories for mlscript
Users that are interested in mlscript are comparing it to the libraries listed below
Sorting:
- A Language with Dependent Data and Codata Types☆104Updated 2 weeks ago
- Dependent type checker using normalisation by evaluation☆260Updated 8 months ago
- A simple ML-like programming language with subtyping and full type inference.☆173Updated 6 months ago
- Alternative algorithm for algebraic subtyping.☆161Updated 3 weeks ago
- Staged compilation with dependent types☆173Updated 3 weeks ago
- a proof-of-concept programming language based on call-by-push-value☆53Updated this week
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- A language with lexical effect handlers and lightweight effect polymorphism☆368Updated this week
- A categorical programming language with effects☆278Updated 2 years ago
- 😎TT☆227Updated last year
- A fast functional language based on two level type theory☆390Updated 2 years ago
- Prototype type inference engine☆201Updated 4 months ago
- Pure functional programming with whole-program mutability inference☆69Updated 2 weeks ago
- A compiler for functional programs on serialized data☆164Updated this week
- Benchmarks for capture-avoiding substitution☆114Updated this week
- being an operating system for typechecking processes☆126Updated 2 years ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆138Updated 6 years ago
- A pure type system implemented in OCaml☆77Updated 4 years ago
- A bidirectional type checker☆63Updated 7 years ago
- Embeddable Lambda Prolog Interpreter☆312Updated this week
- A proof assistant for higher-dimensional type theory☆195Updated this week
- Minimal implementations for dependent type checking and elaboration☆673Updated this week
- agda-mode on VS Code☆177Updated 2 weeks ago
- A garden of small programming language implementations 🪴☆240Updated this week
- Counterexamples in Type Systems☆395Updated last year
- A declarative concatenative programming language☆164Updated 7 months ago
- Duo - A research language exploring duality in programming language design☆57Updated 2 years ago
- Demo for high-performance type theory elaboration☆554Updated last year
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆59Updated last year
- A language server for Standard ML in Rust.☆223Updated 2 months ago