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!
☆193Updated last week
Alternatives and similar repositories for mlscript
Users that are interested in mlscript are comparing it to the libraries listed below
Sorting:
- Dependent type checker using normalisation by evaluation☆262Updated 9 months ago
- Alternative algorithm for algebraic subtyping.☆166Updated last month
- Staged compilation with dependent types☆174Updated last month
- A Language with Dependent Data and Codata Types☆107Updated 2 weeks ago
- A simple ML-like programming language with subtyping and full type inference.☆176Updated 6 months ago
- A compiler for functional programs on serialized data☆164Updated last week
- A language with lexical effect handlers and lightweight effect polymorphism☆376Updated this week
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- Pure functional programming with whole-program mutability inference☆70Updated 3 weeks ago
- a proof-of-concept programming language based on call-by-push-value☆54Updated this week
- A fast functional language based on two level type theory☆391Updated 2 years ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆141Updated 6 years ago
- being an operating system for typechecking processes☆126Updated 2 years ago
- 😎TT☆228Updated last year
- A categorical programming language with effects☆278Updated 2 years ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆147Updated last year
- A proof assistant for higher-dimensional type theory☆200Updated this week
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆55Updated 2 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆59Updated last year
- A declarative concatenative programming language☆164Updated 8 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆52Updated 4 months ago
- Inpla: Interaction nets as a programming language (the current version)☆306Updated 7 months ago
- Build system☆122Updated last year
- A pure type system implemented in OCaml☆78Updated 4 years ago
- Benchmarks for capture-avoiding substitution☆114Updated 3 weeks ago
- Demo for dependent types + runtime code generation☆69Updated 4 months ago
- A language server for Standard ML in Rust.☆225Updated last week
- The Makam Metalanguage☆198Updated 2 years ago
- ☆33Updated 8 months ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆131Updated 4 years ago