Alternatives and similar repositories for sphil

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

• VineLang / vine
  an experimental new programming language based on interaction nets
  ☆337Updated this week
• cull-os / carcass
  The Cull monorepository.
  ☆166Updated last month
• HigherOrderCO / Bend2-old
  Bend2 - WIP
  ☆238Updated last month
• HigherOrderCO / kindbook
  ☆55Updated last year
• HigherOrderCO / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆281Updated last year
• ambulancja / mariposa
  A toy programming language with time travel
  ☆313Updated last year
• faiface / par-lang
  Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
  ☆643Updated this week
• matklad / abont
  Finally, a shell for all seasons!
  ☆123Updated last year
• HigherOrderCO / HVM3
  HVM3
  ☆277Updated 3 months ago
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆42Updated last month
• SylvanFranklin / nonsense
  Nonsensical Math Paper Generator
  ☆263Updated 3 months ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆61Updated 6 months ago
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆246Updated 5 months ago
• inkandswitch / keyhive
  🗝️🐝✨ Rust workspace for Keyhive and related crates
  ☆167Updated 2 weeks ago
• jamii / zest
  ☆134Updated 3 weeks ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆317Updated last week
• sin-ack / papertoy
  Run a Shadertoy-compatible shader as an animated wallpaper on Wayland
  ☆99Updated last month
• tweedegolf / nea
  Fast webserver with predictable memory usage
  ☆195Updated last year
• adam-mcdaniel / sage
  A programming language that's wise beyond its bytes!🌱🌿🪴
  ☆534Updated 6 months ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• eudoxia0 / sm2
  The SM-2 algorithm.
  ☆22Updated last year
• zig-wasm / zig-mcp
  Model Context Protocol (MCP) server that provides up-to-date documentation for the Zig programming language standard library and builtin …
  ☆121Updated 3 months ago
• helixlang / helix-lang
  Python's Simplicity, C++'s Power, Native Interoperable with all, and Rust (W.I.P)
  ☆361Updated last week
• chshersh / zbg
  ✨ Zero Bullshit Git
  ☆327Updated 3 months ago
• rezigned / tur
  Tur - A language for defining and executing Turing machines, complete with parser, interpreter, and multi-platform visualization tools.
  ☆121Updated 3 months ago
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆99Updated 2 years ago
• cognitive-engineering-lab / mdbook-quiz
  Interactive quizzes for Markdown
  ☆140Updated 2 months ago
• chshersh / github-tui
  🌒 A TUI for GitHub
  ☆241Updated 5 months ago
• SrGaabriel / soma
  ⚗️ | System F-ω pure functional language with deterministic, GC-free memory via Interaction Nets and automatic parallelism.
  ☆61Updated last week
• codereport / hoogle-translate
  ☆115Updated this week