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 7 months ago
- Code and demos for Reconstructing TypeScript blog posts.☆35Updated 2 years ago
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- ☆36Updated 3 years ago
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆102Updated 2 years ago
- A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used…☆88Updated 2 years ago
- Interpreter for simply typed lambda calculus implemented in JavaScript λ☆34Updated 7 years ago
- The compiler for Keli☆172Updated 5 years ago
- Concur UI Library for Javascript☆76Updated 4 years ago
- Proposal to add tail calls to WebAssembly☆113Updated 2 weeks ago
- Implementation of "practical type inference for arbitrary-rank types" in Javascript☆10Updated 5 years ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆136Updated 5 years ago
- Algebraic Effects in Javascript☆48Updated 2 years ago
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- Formality in itself☆20Updated 4 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆109Updated 7 years ago
- Prototype type inference engine☆201Updated last month
- SumTypes in TypeScript☆30Updated 2 years ago
- Refinement Types for Scripting Languages☆67Updated 6 years ago
- ECMAScript verification with SMT solvers☆124Updated 9 months ago
- Frank compiler☆288Updated 11 months ago
- An ML-like functional programming language☆333Updated 3 years ago
- A general purpose statically-typed concatenative programming language.☆53Updated last year
- Do-notation for JavaScript☆178Updated 7 years ago
- ECMAScript derived programming language☆68Updated 9 years ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated 2 years ago
- Dependent type checker using normalisation by evaluation☆258Updated 6 months ago
- A UI library based on the incremental lambda calculus☆113Updated 6 years ago
- Kempe is a compiled stack-based language☆58Updated 5 months ago