Alternatives and similar repositories for Som-Lang

Users that are interested in Som-Lang are comparing it to the libraries listed below

• khasm-lang / khasmc
  A functional programming language, mirroring Erlang and Go, but with more OCaml!
  ☆26Updated last month
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated 2 years ago
• ThePuzzlemaker / tethys
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆16Updated last year
• nathanfarlow / c-of-ocaml
  Compile OCaml to standalone ANSI C file
  ☆44Updated 4 months ago
• Hans-Halverson / myte
  Compiler and tooling for the Myte programming language.
  ☆21Updated 2 years ago
• lucu-language / lucu
  A systems programming language with lexical effect handlers
  ☆14Updated 7 months ago
• Rhovas / Interpreter
  The interpreter for Rhovas, a programming language for API design and enforcement.
  ☆35Updated 2 months ago
• ebresafegaga / tina
  Tina, a programming language with typed algebraic effects and handlers.
  ☆13Updated 4 years ago
• SimonHauguel / Paso
  Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system
  ☆29Updated 3 years ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆67Updated 2 years ago
• curly-lang / curly-lang
  The Curly programming language (now in Rust!)
  ☆30Updated 4 years ago
• 05st / artemis
  Statically typed, high-level functional programming language.
  ☆17Updated 4 years ago
• liam923 / remora
  A dependently-typed, array-polymorphic language that runs on parallel architectures
  ☆24Updated last year
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆69Updated last year
• Jackojc / klaxon
  Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).
  ☆18Updated 3 years ago
• acorrenson / owl
  A mini language for logic programming
  ☆23Updated 5 years ago
• Ahnfelt / firefly-boot
  Bootstrap compiler for Firefly
  ☆55Updated this week
• andreypopp / type-systems
  Playing with type systems
  ☆51Updated 9 months ago
• johnyob / dromedary
  Dromedary is an experimental subset of OCaml, using constraint-based type inference!
  ☆48Updated 2 weeks ago
• sflk-lang / sflk
  SFLK programing language reference interpreter
  ☆12Updated 2 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆74Updated 3 years ago
• Psi-Prod / Mehari
  A cross-platform library for building Gemini servers
  ☆37Updated 3 months ago
• tjammer / schmu
  Mirror of https://codeberg.org/tjammer/schmu
  ☆26Updated this week
• calypso-lang / calypso
  Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.
  ☆67Updated last year
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆24Updated 3 years ago
• wipplelang / wipple
  Learn to code with Wipple.
  ☆37Updated last month
• thamugadi / mltt-c
  Martin-Löf type theory + W-types implemented in C (WIP)
  ☆25Updated 2 months ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆32Updated 8 months ago
• 4y8 / esoo
  Like the Programming Languages Zoo but with esoteric languages.
  ☆25Updated 5 years ago
• Firobe / nes-ml
  NES emulator in OCaml
  ☆43Updated 2 years ago