Alternatives and similar repositories for sphil

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

• HigherOrderCO / kindbook
  ☆54Updated 10 months ago
• VineLang / vine
  an experimental new programming language based on interaction nets
  ☆328Updated last week
• cull-os / carcass
  The Cull monorepository.
  ☆161Updated this week
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆244Updated 3 months ago
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆37Updated 2 weeks ago
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆118Updated 3 years ago
• inkandswitch / keyhive
  🗝️🐝✨ Rust workspace for Keyhive and related crates
  ☆156Updated last week
• matklad / abont
  Finally, a shell for all seasons!
  ☆124Updated 10 months ago
• HigherOrderCO / Bend2
  Bend2 - WIP
  ☆234Updated last week
• jamii / zest
  ☆126Updated last week
• usgraphics / hypersubatomic-vscode-theme
  Hypersubatomic is a high contrast UI and syntax theme for VSCode
  ☆103Updated 6 years ago
• HigherOrderCO / HVM3
  HVM3
  ☆276Updated 2 months ago
• SylvanFranklin / nonsense
  Nonsensical Math Paper Generator
  ☆251Updated 2 months ago
• cognitive-engineering-lab / mdbook-quiz
  Interactive quizzes for Markdown
  ☆136Updated last month
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆95Updated 2 years ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆56Updated last year
• tweedegolf / nea
  Fast webserver with predictable memory usage
  ☆189Updated last year
• jackyzha0 / bft-json-crdt
  🏰 the first JSON-like Byzantine Fault Tolerant CRDT
  ☆226Updated last year
• ambulancja / mariposa
  A toy programming language with time travel
  ☆313Updated last year
• sin-ack / papertoy
  Run a Shadertoy-compatible shader as an animated wallpaper on Wayland
  ☆95Updated 3 months ago
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆52Updated 2 weeks ago
• eudoxia0 / sm2
  The SM-2 algorithm.
  ☆22Updated 10 months ago
• capjamesg / knowledge-graph-language
  A query language for exploring knowledge graphs.
  ☆145Updated 6 months ago
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆15Updated last year
• rezigned / tur
  Tur - A language for defining and executing Turing machines, complete with parser, interpreter, and multi-platform visualization tools.
  ☆117Updated 2 months ago
• HigherOrderCO / TSPL
  The Simplest Parser Library (that works) in Rust
  ☆44Updated last year
• bf-enterprise-solutions / os.bf
  A next-generation high-performance operating system focused on enterprise-level resilience
  ☆87Updated 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 …
  ☆107Updated 2 months ago
• rush-rs / rush
  A simple programming language for researching different ways of program execution and compilation
  ☆34Updated last year
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆115Updated last week