Alternatives and similar repositories for LSTS:

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

• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆203Updated last week
• egel-lang / egel
  The Egel Programming Language
  ☆84Updated last month
• r0nsha / chili
  General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™
  ☆42Updated 2 years ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆31Updated last month
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆80Updated this week
• langjam / jam0002
  ☆38Updated 3 years ago
• capy-language / capy
  🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.
  ☆70Updated this week
• calypso-lang / calypso
  Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.
  ☆66Updated 9 months ago
• Ahnfelt / firefly-boot
  Bootstrap compiler for Firefly
  ☆52Updated this week
• Usbac / borealis
  The elegant and consistent programming language.
  ☆32Updated last year
• siko-lang / siko_old
  siko
  ☆14Updated last year
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated 6 months ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆60Updated 3 years ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆286Updated 3 months ago
• caius-iulius / spinnaker
  ☆27Updated last year
• khasm-lang / khasmc
  A functional programming language, mirroring Erlang and Go, but with more OCaml!
  ☆23Updated 3 weeks ago
• andrew-johnson-4 / lambda-mountain
  Compiler Backend for LSTS (Typed Macro Assembler)
  ☆24Updated this week
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆153Updated 4 years ago
• Spydr06 / CSpydr
  A static typed low-level compiled programming language inspired by Rust and C
  ☆90Updated last week
• wipplelang / wipple
  Learn to code with Wipple.
  ☆34Updated last month
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• 418e / Tron
  Statically typed general purpose programming language
  Updated 10 months ago
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆163Updated 3 months ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆92Updated last month
• langjam / jam0003
  ☆26Updated 2 years ago
• mukul-rathi / bolt-dissertation
  This repository accompanies Bolt - includes the accompanying dissertation.
  ☆41Updated 4 years ago
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated 10 months ago
• contextfreeinfo / rio
  Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language
  ☆97Updated 4 months ago
• Champii / Rock
  Native language with Rust & LLVM
  ☆69Updated last year