Alternatives and similar repositories for ribbon-language

Users that are interested in ribbon-language are comparing it to the libraries listed below

• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆70Updated last year
• fir-lang / fir
  Fir programming language
  ☆89Updated this week
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆81Updated this week
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆56Updated 2 years ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆40Updated 2 months ago
• ThePuzzlemaker / tethys
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆16Updated last year
• Rhovas / Interpreter
  The interpreter for Rhovas, a programming language for API design and enforcement.
  ☆36Updated 4 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆66Updated last month
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated 2 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆32Updated 3 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆61Updated 2 years ago
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated last year
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated 2 weeks ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆82Updated 10 months ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆35Updated last week
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆72Updated 10 months ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆33Updated 11 months ago
• standardml / twelf
  The Twelf Programming Language
  ☆147Updated 2 weeks ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆78Updated 6 years ago
• zilch-lang / zilch
  A statically-typed, low-level, functional programming language with some focus on runtime performance
  ☆30Updated 2 years ago
• polarity-lang / polarity
  A language with dependent data and codata types
  ☆125Updated last week
• SrGaabriel / soma
  ⚗️ | System F-ω pure functional language with deterministic, GC-free memory via Interaction Nets and automatic parallelism.
  ☆61Updated this week
• ehatti / konna
  ☆16Updated 3 years ago
• 05st / artemis
  Statically typed, high-level functional programming language.
  ☆17Updated 4 years ago
• blntk / sfpl
  A simple functional programming language.
  ☆22Updated 4 years ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆48Updated last year
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆25Updated last year