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
  ☆82Updated this week
• fir-lang / fir
  Fir programming language
  ☆84Updated this week
• cau-placc / pakcs
  PAKCS: The Portland Aachen Kiel Curry system
  ☆14Updated this week
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆43Updated last month
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆61Updated 5 months ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆56Updated 2 years ago
• tiny-bow / ribbon-language
  The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usab…
  ☆21Updated this week
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆33Updated 11 months ago
• polarity-lang / polarity
  A language with dependent data and codata types
  ☆125Updated this week
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆40Updated 2 months ago
• Ahnfelt / firefly-boot
  Bootstrap compiler for Firefly
  ☆56Updated last month
• etiamz / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆125Updated 5 months ago
• wipplelang / wipple
  Learn to code with Wipple.
  ☆38Updated this week
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆41Updated 2 weeks ago
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆18Updated 2 years ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆299Updated this week
• wkolowski / Type-Theory-Wishlist
  Personal research notes
  ☆17Updated last year
• basilTeam / basil
  Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…
  ☆124Updated 4 years ago
• calypso-lang / calypso
  Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.
  ☆68Updated last year
• caius-iulius / spinnaker
  ☆26Updated 2 years ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆135Updated 2 weeks ago
• gavr123456789 / Niva
  Smalltalk like programming language
  ☆67Updated last week
• faiface / par-lang
  Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
  ☆633Updated this week
• coetaur0 / nox
  The Nox programming language
  ☆31Updated 2 years ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated 2 years ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆317Updated last year
• siko-lang / siko_old
  siko
  ☆14Updated last year
• sin-ack / zigself
  An implementation of the Self programming language in Zig
  ☆207Updated this week
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆168Updated 2 months ago