Alternatives and similar repositories for sphil

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

• codigo-langs / codigo
  Language repository for Codigo, a collaborative programming language hub for discovering, comparing and sharing languages.
  ☆38Updated 3 weeks ago
• HigherOrderCO / kindbook
  ☆48Updated 5 months ago
• VineLang / vine
  an experimental new programming language based on interaction nets
  ☆266Updated this week
• cull-os / carcass
  The Cull monorepository.
  ☆102Updated 2 weeks ago
• inkandswitch / keyhive
  🗝️🐝✨ Rust workspace for Keyhive and related crates
  ☆81Updated this week
• bf-enterprise-solutions / os.bf
  A next-generation high-performance operating system focused on enterprise-level resilience
  ☆83Updated 8 months ago
• eudoxia0 / sm2
  The SM-2 algorithm.
  ☆20Updated 5 months ago
• vEnhance / 1802
  MIT 18.02 lecture notes on multivar
  ☆12Updated last week
• cognitive-engineering-lab / mdbook-quiz
  Interactive quizzes for Markdown
  ☆125Updated last week
• VictorTaelin / kind-ai
  ☆23Updated 2 years ago
• HigherOrderCO / TSPL
  The Simplest Parser Library (that works) in Rust
  ☆44Updated 10 months ago
• rush-rs / rush
  A simple programming language for researching different ways of program execution and compilation
  ☆32Updated 8 months ago
• adam-mcdaniel / reckon
  A reasonable theorem prover for your reasoning tasks!
  ☆26Updated 4 months ago
• josephg / egwalker-paper
  Eg-walker paper, experiments and data.
  ☆45Updated 6 months ago
• ekzhang / graphon
  🌌 A very small graph database (WIP, inactive)
  ☆23Updated 8 months ago
• chshersh / github-tui
  🌒 A TUI for GitHub
  ☆206Updated 3 months ago
• kipos-lang / kipos
  let a million languages bloom
  ☆20Updated last month
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆11Updated last year
• akopdev / obsidian-bibtex-manager
  Create literature notes in Obsidian from BibTeX entries, display formatted reference lists, and instantly generate citations.
  ☆79Updated last week
• jamii / zest
  ☆108Updated 2 months ago
• williamw520 / toposort
  Topological sort library in Zig
  ☆92Updated 2 months ago
• wojciech-graj / oriel
  An interpreter for the 1991 Oriel scripting language
  ☆56Updated last year
• MicheleFiladelfia / fractals-cli
  Multiplatform fractals explorer 🌌
  ☆45Updated 6 months ago
• metacrank / cognition-archive
  ☆44Updated 7 months ago
• loro-dev / iroh-loro
  ☆13Updated last month
• tigerbeetle / tigerlings
  Learn TigerBeetle by fixing tiny broken scripts!
  ☆123Updated 3 months ago
• julienduroure / jsoncanvas
  ☆19Updated 3 months ago
• 0xbolt / wypst
  Typst math typesetting for the web.
  ☆72Updated 3 weeks ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆33Updated last month
• dialog-db / dialog-db
  Dialog is an embeddable database designed for local-first software.
  ☆24Updated this week