Alternatives and similar repositories for sophie

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

• siko-lang / siko_old

  View on GitHub
  siko
  ☆14Jan 6, 2024Updated 2 years ago
• core-lang / core

  View on GitHub
  moved to https://codeberg.org/core-lang/core
  ☆51Jan 30, 2025Updated last year
• dibsonthis / Glide

  View on GitHub
  Glide programming language
  ☆21Apr 7, 2023Updated 2 years ago
• swtwsk / vinci-lang

  View on GitHub
  A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language
  ☆15Sep 16, 2021Updated 4 years ago
• tim-hardcastle / pipefish

  View on GitHub
  Source code for the Pipefish programming language
  ☆180Updated this week
• moirai-lang / moirai-kt

  View on GitHub
  A scripting language that calculates the worst-case execution time (WCET) before executing each script. Ideal for multi-tenant microservi…
  ☆34Mar 28, 2025Updated 10 months ago
• melvic-ybanez / dry

  View on GitHub
  A high-level programming language written in Scala
  ☆35Nov 26, 2023Updated 2 years ago
• Fuechs / Lynx

  View on GitHub
  C-like programming language
  ☆10Jul 18, 2025Updated 6 months ago
• wldfngrs / Olive

  View on GitHub
  The hobbyist's programming language
  ☆24Jun 2, 2023Updated 2 years ago
• yoav-lavi / august

  View on GitHub
  An Emmet-like language that produces JSON, TOML, or YAML
  ☆52Aug 13, 2023Updated 2 years ago
• cluesurf / tree

  View on GitHub
  A Modeling Notation ꕤ
  ☆15Nov 15, 2025Updated 3 months ago
• AvivC / RibbonLang

  View on GitHub
  The Ribbon programming language
  ☆11Jan 25, 2022Updated 4 years ago
• ehatti / LHL

  View on GitHub
  Linearizability Hoare Logic
  ☆17Feb 9, 2026Updated last week
• basic-calculus / prologish

  View on GitHub
  ☆12Sep 22, 2020Updated 5 years ago
• brianberns / CompilerDesign

  View on GitHub
  ☆10Oct 27, 2024Updated last year
• Superstar64 / aith

  View on GitHub
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆78Feb 2, 2024Updated 2 years ago
• fsantanna-no / dceu

  View on GitHub
  ☆29Aug 22, 2025Updated 5 months ago
• nooga / fy

  View on GitHub
  A a tiny concatenative programming language JIT compiled to aarch64 machine code.
  ☆13Mar 7, 2024Updated last year
• ArgonLang / Argon

  View on GitHub
  Argon programming language
  ☆56Sep 12, 2024Updated last year
• Florian-Thake / TeaScript-Cpp-Library

  View on GitHub
  TeaScript C++ Library - embedded scripting language for C++ Applications
  ☆69Jan 30, 2026Updated 2 weeks ago
• Buroni / automata-golf

  View on GitHub
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆18May 22, 2023Updated 2 years ago
• Usbac / borealis

  View on GitHub
  The elegant and consistent programming language.
  ☆31Sep 8, 2023Updated 2 years ago
• gelisam / typechecker-combinators

  View on GitHub
  ☆17Apr 4, 2024Updated last year
• schurhammer / gleamy_bench

  View on GitHub
  A library for benchmarking gleam code.
  ☆17Feb 17, 2025Updated 11 months ago
• TheRealMichaelWang / cish

  View on GitHub
  Go + Generics + Sum Types
  ☆35Jul 20, 2023Updated 2 years ago
• alumina-lang / alumina

  View on GitHub
  A general purpose programming language
  ☆219Oct 25, 2025Updated 3 months ago
• singul4ri7y / promit

  View on GitHub
  A neat, object-oriented, lightweight, elegant and fast programming language 👾
  ☆50Aug 8, 2024Updated last year
• Cypher1 / tako

  View on GitHub
  An experimental programming language for ergonomic software verification
  ☆16Feb 5, 2026Updated last week
• ThePuzzlemaker / tethys

  View on GitHub
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆16Mar 4, 2024Updated last year
• ehatti / konna

  View on GitHub
  ☆16Apr 19, 2022Updated 3 years ago
• proglangdesign / proglangdesign.github.io

  View on GitHub
  A website for the #proglangdesign community on freenode
  ☆112Nov 6, 2025Updated 3 months ago
• UberPyro / prowl

  View on GitHub
  WIP stack language that uses regex for control flow
  ☆42Oct 10, 2023Updated 2 years ago
• calypso-lang / calypso

  View on GitHub
  Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.
  ☆67May 16, 2024Updated last year
• egel-lang / egel

  View on GitHub
  The Egel Programming Language
  ☆83Dec 25, 2025Updated last month
• aya-lang / aya

  View on GitHub
  Pocket sized programs
  ☆64Dec 6, 2025Updated 2 months ago
• lukemaurer / sequent-core

  View on GitHub
  Alternative Core language for GHC plugins
  ☆39Feb 15, 2016Updated 10 years ago
• aionescu / oplang

  View on GitHub
  Stack-based esoteric programming language
  ☆18Jan 31, 2025Updated last year
• cognate-lang / cognate

  View on GitHub
  A human readable quasi-concatenative programming language
  ☆259Feb 4, 2025Updated last year
• ionathanch / TTBFL

  View on GitHub
  A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.
  ☆22Jan 28, 2026Updated 2 weeks ago