Alternatives and similar repositories for smol

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

• RyanBrewer317 / cricket_rs
  A tiny lazy objective functional language
  ☆19Updated last year
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆81Updated 2 weeks ago
• fir-lang / fir
  Fir programming language
  ☆90Updated this week
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆44Updated last month
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆33Updated 11 months ago
• cau-placc / pakcs
  PAKCS: The Portland Aachen Kiel Curry system
  ☆14Updated 3 weeks ago
• faiface / par-lang
  Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
  ☆643Updated last week
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆62Updated 6 months ago
• polarity-lang / polarity
  A language with dependent data and codata types
  ☆125Updated 3 weeks ago
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆18Updated 2 years ago
• Ahnfelt / firefly-boot
  Bootstrap compiler for Firefly
  ☆56Updated last month
• etiamz / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆128Updated 5 months ago
• wipplelang / wipple
  Learn to code with Wipple.
  ☆38Updated last week
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆43Updated last month
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆56Updated 2 years ago
• Rhovas / Interpreter
  The interpreter for Rhovas, a programming language for API design and enforcement.
  ☆36Updated 5 months ago
• tiny-bow / ribbon-language
  The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usab…
  ☆22Updated last week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆304Updated this week
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆41Updated 2 months ago
• jamii / zest
  ☆134Updated 3 weeks ago
• VictorTaelin / Interaction-Type-Theory
  ☆120Updated last year
• gavr123456789 / Niva
  Smalltalk like programming language
  ☆67Updated last week
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆317Updated 2 weeks ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆136Updated last month
• caius-iulius / spinnaker
  ☆26Updated 2 years ago
• core-lang / core
  moved to https://codeberg.org/core-lang/core
  ☆51Updated 11 months ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆79Updated 3 weeks ago
• wkolowski / Type-Theory-Wishlist
  Personal research notes
  ☆17Updated last year
• siko-lang / siko_old
  siko
  ☆14Updated 2 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆77Updated 3 years ago