Alternatives and similar repositories for type-inference

Users that are interested in type-inference are comparing it to the libraries listed below

• atennapel / bidirectional.js
  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
  ☆79Updated last year
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆114Updated 7 months ago
• atennapel / practical-type-inference
  Implementation of "practical type inference for arbitrary-rank types" in Javascript
  ☆12Updated 6 years ago
• Ahnfelt / funk
  PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching
  ☆54Updated 8 years ago
• nythrox / effects.js
  Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…
  ☆108Updated 2 years ago
• KeliLanguage / compiler
  The compiler for Keli
  ☆173Updated 6 years ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• zachgk / catln
  A high-level programming language
  ☆40Updated 9 months ago
• cdiggins / cat-language
  Cat - a statically typed functional stack-based programming language
  ☆274Updated 7 years ago
• masala / masala-parser
  Javascript Generalized Parser Combinators
  ☆149Updated last week
• manuel-serrano / hop
  Multitier JavaScript
  ☆156Updated last month
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated 2 years ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆166Updated 6 months ago
• mgechev / typed-calc
  Interpreter for simply typed lambda calculus implemented in JavaScript λ
  ☆35Updated 8 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆212Updated 9 months ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆180Updated 10 months ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated last year
• brundonsmith / bagel
  A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used…
  ☆90Updated 2 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆61Updated last week
• jaked / reconstructing-typescript
  Code and demos for Reconstructing TypeScript blog posts.
  ☆35Updated 2 years ago
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆166Updated last month
• jaredly / jerd
  ☆37Updated 3 years ago
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆169Updated 13 years ago
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆101Updated last year
• escalier-lang / escalier-rust
  A compile-to-JavaScript language with tight TypeScript integration.
  ☆23Updated 2 years ago
• c3d / xl
  A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites
  ☆283Updated 2 years ago
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆112Updated 3 weeks ago
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆159Updated 5 years ago
• cell-lang / compiler
  Cell compiler
  ☆115Updated 2 years ago
• amuletml / amulet
  An ML-like functional programming language
  ☆337Updated 4 years ago