Alternatives and similar repositories for soma

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

• fir-lang / fir
  Fir programming language
  ☆91Updated this week
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆66Updated 2 months ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆63Updated 6 months ago
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆41Updated this week
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆43Updated last week
• qexat / violette
  Violette is a simple functional programming language.
  ☆26Updated 3 months ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆36Updated this week
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆48Updated last year
• polarity-lang / polarity
  A language with dependent data and codata types
  ☆125Updated this week
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• VictorTaelin / Interaction-Type-Theory
  ☆120Updated last year
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆93Updated 9 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆72Updated 11 months ago
• tiny-bow / ribbon-language
  The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usab…
  ☆22Updated this week
• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆23Updated 6 months ago
• samuela / bidirectional-typing
  A bidirectional type checker
  ☆67Updated 8 years ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆130Updated last month
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆79Updated last month
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆76Updated last year
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• qexat / ansifmt
  A simple, lightweight library for ANSI styling.
  ☆24Updated 2 months ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆56Updated 2 years ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆17Updated 2 years ago
• ehatti / konna
  ☆16Updated 3 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆56Updated 2 years ago
• coetaur0 / nox
  The Nox programming language
  ☆31Updated 2 years ago
• kasiaMarek / TyRE
  ☆26Updated last year
• HigherOrderCO / kindbook
  ☆55Updated last year
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆81Updated last week
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆153Updated 6 months ago