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
  ☆18Updated last year
• polarity-lang / polarity
  A language with dependent data and codata types
  ☆124Updated this week
• etiamz / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆123Updated 4 months ago
• wipplelang / wipple
  Learn to code with Wipple.
  ☆38Updated 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.
  ☆508Updated this week
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆81Updated this week
• fir-lang / fir
  Fir programming language
  ☆79Updated last week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆292Updated this week
• Ahnfelt / firefly-boot
  Bootstrap compiler for Firefly
  ☆56Updated this week
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆18Updated 2 years ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆36Updated 3 months ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆33Updated 10 months ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆55Updated 2 years ago
• Lambda-Mountain-Compiler-Backend / LSTS
  Large Scale Type Systems: ML/C Hybrid Programming Language
  ☆123Updated 3 months ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆60Updated 4 months ago
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆167Updated last month
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆37Updated last month
• cau-placc / pakcs
  PAKCS: The Portland Aachen Kiel Curry system
  ☆14Updated 3 weeks ago
• coetaur0 / nox
  The Nox programming language
  ☆30Updated 2 years ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆314Updated last year
• alumina-lang / alumina
  A general purpose programming language
  ☆216Updated 3 weeks ago
• hirrolot / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆458Updated 3 weeks ago
• VineLang / vine
  an experimental new programming language based on interaction nets
  ☆317Updated this week
• caius-iulius / spinnaker
  ☆26Updated 2 years ago
• cognate-lang / cognate
  A human readable quasi-concatenative programming language
  ☆259Updated 9 months ago
• tiny-bow / ribbon-language
  The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usab…
  ☆19Updated last month
• siko-lang / siko_old
  siko
  ☆14Updated last year
• egel-lang / egel
  The Egel Programming Language
  ☆84Updated 5 months ago
• Rhovas / Interpreter
  The interpreter for Rhovas, a programming language for API design and enforcement.
  ☆35Updated 3 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆128Updated this week