cdiggins / type-inference
Type Inference Library written in TypeScript
☆93Updated last year
Alternatives and similar repositories for type-inference:
Users that are interested in type-inference are comparing it to the libraries listed below
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆75Updated 9 months ago
- Interpreter for simply typed lambda calculus implemented in JavaScript λ☆34Updated 7 years ago
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- Algebraic Effects in Javascript☆48Updated 2 years ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆104Updated 2 years ago
- Implementation of "practical type inference for arbitrary-rank types" in Javascript☆10Updated 6 years ago
- ☆37Updated 3 years ago
- Concur UI Library for Javascript☆76Updated 4 years ago
- A declarative concatenative programming language☆164Updated 6 months ago
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- Formality in itself☆20Updated 4 years ago
- ECMAScript verification with SMT solvers☆125Updated 10 months ago
- Proposal to add tail calls to WebAssembly☆114Updated 2 months ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆137Updated 6 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆63Updated 3 years ago
- A high-level programming language☆39Updated 3 months ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆131Updated 4 years ago
- Another attempt to realize my programming language☆23Updated 3 months ago
- The compiler for Keli☆173Updated 5 years ago
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- Kempe is a compiled stack-based language☆58Updated 7 months ago
- 🧀 A delicious programming language☆36Updated 2 years ago
- Archive of the ES4 reference interpreter that was a work-in-progress when ES4 was cancelled.☆25Updated 11 years ago
- A toy language that compiles to WebAssembly☆50Updated 2 years ago
- The Egel Programming Language☆84Updated last month
- SumTypes in TypeScript☆30Updated 2 years ago
- A simple ML-like programming language with subtyping and full type inference.☆172Updated 5 months ago
- A UI library based on the incremental lambda calculus☆112Updated 6 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated last year
- Code and demos for Reconstructing TypeScript blog posts.☆35Updated 2 years ago