Alternatives and similar repositories for ts-lambda-calc

Users that are interested in ts-lambda-calc are comparing it to the libraries listed below

• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated 2 years ago
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆55Updated last month
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated last month
• xieyuheng / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated last month
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆56Updated 3 weeks ago
• wilbowma / pl-thesaurus
  ☆90Updated 3 years ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆149Updated 2 months ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• desi-ivanov / ts-regexp
  Type-Level Regular Expressions matching with TypeScript
  ☆23Updated 2 years ago
• hazelgrove / tylr
  a tiny tile-based editor
  ☆305Updated 3 weeks ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆80Updated last year
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 3 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 11 months ago
• nythrox / effects.js
  Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…
  ☆106Updated 2 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆212Updated 8 months ago
• atennapel / bidirectional.js
  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
  ☆79Updated last year
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 3 months ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆265Updated last year
• Ahnfelt / funk
  PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching
  ☆53Updated 8 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• jaked / reconstructing-typescript
  Code and demos for Reconstructing TypeScript blog posts.
  ☆35Updated 2 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆193Updated 2 years ago
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated last year
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆169Updated 9 months ago
• serras / hinc
  Haskell In New Clothes
  ☆110Updated 5 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆135Updated 3 months ago
• cucapra / lambdalab
  interactive λ-calculus for learning
  ☆37Updated 6 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated 2 years ago