Alternatives and similar repositories for sphil

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

• HigherOrderCO-archive / kindbook
  ☆55Updated last year
• eudoxia0 / sm2
  The SM-2 algorithm.
  ☆22Updated last year
• VineLang / vine
  an experimental new programming language based on interaction nets
  ☆338Updated this week
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆250Updated 6 months ago
• HigherOrderCO / HVM3
  HVM3
  ☆276Updated last week
• jamii / zest
  ☆139Updated this week
• codigo-langs / codigo
  Language repository for Codigo, a collaborative programming language hub for discovering, comparing and sharing languages.
  ☆41Updated 8 months ago
• inkandswitch / keyhive
  🗝️🐝✨ Rust workspace for Keyhive and related crates
  ☆181Updated last week
• cull-os / carcass
  The Cull monorepository.
  ☆170Updated this week
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆44Updated last week
• HigherOrderCO-archive / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆280Updated last year
• usgraphics / hypersubatomic-vscode-theme
  Hypersubatomic is a high contrast UI and syntax theme for VSCode
  ☆112Updated 6 years ago
• danprince / webassembly-wizardry
  🪄 Tiny challenges for learning WebAssembly
  ☆67Updated last year
• matklad / abont
  Finally, a shell for all seasons!
  ☆125Updated last year
• hazelgrove / tylr
  a tiny tile-based editor
  ☆317Updated 2 months ago
• Vis4Sense / HistoryMap
  ☆64Updated 10 months ago
• jackyzha0 / bft-json-crdt
  🏰 the first JSON-like Byzantine Fault Tolerant CRDT
  ☆230Updated last year
• benrayfield / wikibinator203
  Lambda called on lambda finds/creates lambda, each with lazy-evaled 256 bit global DAG ids. Each lambda has 2 child lambdas. A kind of nu…
  ☆28Updated last year
• NicholasLYang / saber
  An attempt to write a compiler in Rust
  ☆24Updated 2 years ago
• ambulancja / mariposa
  A toy programming language with time travel
  ☆313Updated last year
• bf-enterprise-solutions / os.bf
  A next-generation high-performance operating system focused on enterprise-level resilience
  ☆90Updated last year
• ekzhang / aoc23-alpha
  Advent of Code 2023 in 25 interesting language specimens, A-Z
  ☆34Updated 2 years ago
• cognitive-engineering-lab / mdbook-quiz
  Interactive quizzes for Markdown
  ☆143Updated last month
• ckirsch / book
  ☆122Updated last year
• retrohacker / wikiscroll
  ☆36Updated 2 years ago
• dwrensha / acronymy-assistant
  interactive backronym composition tool
  ☆26Updated 11 months ago
• faiface / par-lang
  Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
  ☆673Updated this week
• vizdom-dev / vizdom
  A diagrams-as-code library for TypeScript with zero dependencies
  ☆183Updated 11 months ago
• codereport / plr
  GitHub repo backing Programming Language Ranking website ⬇️
  ☆34Updated last month
• iKevinY / ultra
  Cryptanalysis of the Enigma machine in Rust.
  ☆125Updated 4 years ago