cdiggins / type-inference
Type Inference Library written in TypeScript
☆92Updated last year
Related projects ⓘ
Alternatives and complementary repositories for type-inference
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆76Updated 3 months ago
- Proposal to add tail calls to WebAssembly☆111Updated 2 months ago
- ☆36Updated 3 years ago
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- Interpreter for simply typed lambda calculus implemented in JavaScript λ☆34Updated 7 years ago
- Code and demos for Reconstructing TypeScript blog posts.☆34Updated last year
- A comparison of how computational effects and handlers are implemented in various programming languages.☆133Updated 5 years ago
- Encoding higher-kinded types in TypeScript☆41Updated 5 years ago
- Refinement Types for Scripting Languages☆65Updated 5 years ago
- Algebraic Effects in Javascript☆44Updated last year
- Formality in itself☆20Updated 3 years ago
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆107Updated 7 years ago
- Frank compiler☆279Updated 6 months ago
- Prototype type inference engine☆197Updated 3 months ago
- A high-level programming language☆36Updated this week
- Do-notation for JavaScript☆176Updated 7 years ago
- Algebraic effects and handlers using generators☆57Updated last week
- Algorithm W implementation for type inference and parametric polymorphism in Vanilla JS☆17Updated 7 years ago
- Kempe is a compiled stack-based language☆58Updated last month
- ☆55Updated 7 years ago
- A general purpose statically-typed concatenative programming language.☆51Updated last year
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆98Updated 2 years ago
- ECMAScript verification with SMT solvers☆124Updated 5 months ago
- Another attempt to realize my programming language☆18Updated this week
- A miniature model of the Typescript compiler☆13Updated 2 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆111Updated 11 months ago
- Cat - a statically typed functional stack-based programming language☆254Updated 6 years ago
- A compile-to-JavaScript language with tight TypeScript integration.☆21Updated last year