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
  ☆284Updated last week
• matklad / abont
  Finally, a shell for all seasons!
  ☆118Updated 6 months ago
• cull-os / carcass
  The Cull monorepository.
  ☆121Updated this week
• HigherOrderCO / Bend2
  Bend2 - WIP
  ☆111Updated this week
• HigherOrderCO / kindbook
  ☆51Updated 6 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.
  ☆356Updated this week
• jackyzha0 / bft-json-crdt
  🏰 the first JSON-like Byzantine Fault Tolerant CRDT
  ☆218Updated last year
• HigherOrderCO / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆281Updated 9 months ago
• inkandswitch / keyhive
  🗝️🐝✨ Rust workspace for Keyhive and related crates
  ☆105Updated last month
• jamii / zest
  ☆113Updated 3 months ago
• mizlan / typst-resume-sans
  ✨ Pretty resume template written in Typst
  ☆31Updated last year
• Bricktech2000 / Atto-8
  A minimalist 8-bit microcomputer with stack-based microprocessor
  ☆78Updated this week
• HigherOrderCO / HVM3
  HVM3
  ☆226Updated last week
• SylvanFranklin / nonsense
  Nonsensical Math Paper Generator
  ☆157Updated last month
• metacrank / cognition-archive
  ☆44Updated 9 months ago
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆18Updated this week
• ekzhang / aoc23-alpha
  Advent of Code 2023 in 25 interesting language specimens, A-Z
  ☆33Updated last year
• qo / term
  emulate terminal screenshots in typst
  ☆37Updated last year
• ambulancja / mariposa
  A toy programming language with time travel
  ☆314Updated last year
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• lynn / typst-syntree
  Syntax trees for typst
  ☆36Updated 5 months ago
• danprince / webassembly-wizardry
  🪄 Tiny challenges for learning WebAssembly
  ☆68Updated 6 months ago
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆118Updated 3 years ago
• cognitive-engineering-lab / mdbook-quiz
  Interactive quizzes for Markdown
  ☆128Updated last month
• n0-computer / awesome-iroh
  Curated list of awesome stuff built on & with iroh
  ☆143Updated 3 weeks ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated last year
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆225Updated 5 months ago
• talal / ilm
  A versatile, clean and minimal template for non-fiction writing. Ideal for class notes, reports, and books.
  ☆145Updated 4 months ago
• bf-enterprise-solutions / os.bf
  A next-generation high-performance operating system focused on enterprise-level resilience
  ☆87Updated 9 months ago
• Studio-kalavati / Swaranotebook-bandish-editor
  Bandish notation editor for Hindustani classical music
  ☆25Updated this week