Alternatives and similar repositories for TSPL:

Users that are interested in TSPL are comparing it to the libraries listed below

• VictorTaelin / Taelang
  my personal lang
  ☆16Updated last year
• aripiprazole / eq
  🧮 | Writing an Equation Solver
  ☆34Updated last year
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• lffg / compressing
  Basic (and naive) LZW and Huffman compression algorithms in Rust.
  ☆11Updated last year
• aripiprazole / soft
  🧪 | Lisp with REPL and macros which will compile itself
  ☆13Updated 5 months ago
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆43Updated 2 years ago
• aripiprazole / lura
  🍞 | IDE focused programming language study
  ☆34Updated last year
• HigherOrderCO / kindbook
  ☆47Updated 4 months ago
• aripiprazole / trazodone
  🧪 | LLVM backend for HVM
  ☆23Updated last year
• ligolang / ligo
  ☆13Updated last week
• powrjs / powr
  compile TypeScript or JavaScript to binaries
  ☆21Updated last year
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated last year
• VictorTaelin / kind-ai
  ☆23Updated 2 years ago
• LunaAmora / Atiny
  Atiny is a simple compiler for a ML like language
  ☆11Updated last year
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆44Updated 7 months ago
• zed-extensions / ocaml
  OCaml support
  ☆17Updated 4 months ago
• rush-rs / rush
  A simple programming language for researching different ways of program execution and compilation
  ☆32Updated 7 months ago
• cull-os / carcass
  The Cull monorepository.
  ☆87Updated this week
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆48Updated 2 years ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆59Updated last year
• nwoeanhinnogaehr / algorithmw-rust
  A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
  ☆44Updated 9 years ago
• lyphyser / deptypes
  ☆16Updated last year
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago
• linkdd / letlang
  Functional language with a powerful type system.
  ☆170Updated last year
• algebraic-dev / nuko
  🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.
  ☆15Updated 2 years ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated last year
• HigherOrderCO / HOP
  Lightweight, higher-order parser in Rust.
  ☆12Updated 2 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• mtomassoli / HKTs
  Seamless Higher-Kinded Types in Rust
  ☆80Updated 2 years ago
• renlabs-dev / torus-substrate
  The Torus Blockchain implementation.
  ☆16Updated 3 weeks ago