Alternatives and similar repositories for sphil

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

• HigherOrderCO / kindbook
  ☆55Updated last year
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆246Updated 5 months ago
• VineLang / vine
  an experimental new programming language based on interaction nets
  ☆337Updated this week
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆43Updated last month
• HigherOrderCO / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆281Updated last year
• SylvanFranklin / nonsense
  Nonsensical Math Paper Generator
  ☆263Updated 3 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.
  ☆643Updated this week
• HigherOrderCO / HVM3
  HVM3
  ☆277Updated 3 months ago
• cull-os / carcass
  The Cull monorepository.
  ☆166Updated last month
• jackyzha0 / bft-json-crdt
  🏰 the first JSON-like Byzantine Fault Tolerant CRDT
  ☆228Updated last year
• jamii / zest
  ☆134Updated 3 weeks ago
• inkandswitch / keyhive
  🗝️🐝✨ Rust workspace for Keyhive and related crates
  ☆167Updated 2 weeks ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆317Updated last week
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆99Updated 2 years ago
• codereport / hoogle-translate
  ☆115Updated this week
• HigherOrderCO / Bend2-old
  Bend2 - WIP
  ☆238Updated last month
• eudoxia0 / sm2
  The SM-2 algorithm.
  ☆22Updated last year
• helixlang / helix-lang
  Python's Simplicity, C++'s Power, Native Interoperable with all, and Rust (W.I.P)
  ☆361Updated last week
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆61Updated 6 months ago
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆126Updated 8 months ago
• codereport / plr
  GitHub repo backing Programming Language Ranking website ⬇️
  ☆34Updated last month
• cognitive-engineering-lab / mdbook-quiz
  Interactive quizzes for Markdown
  ☆140Updated 2 months ago
• Gadersd / ic
  An interaction combinator runtime
  ☆18Updated last year
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆44Updated last month
• matklad / abont
  Finally, a shell for all seasons!
  ☆123Updated last year
• ivanyu / awesome-deterministic-simulation-testing
  A curated list of awesome deterministic simulation testing resources 😎
  ☆280Updated 6 months ago
• tweedegolf / nea
  Fast webserver with predictable memory usage
  ☆195Updated last year
• ambulancja / mariposa
  A toy programming language with time travel
  ☆313Updated last year