systemphil / sphilLinks
The Systematic Philosophy Platformπ¦
β76Updated last week
Alternatives and similar repositories for sphil
Users that are interested in sphil are comparing it to the libraries listed below
Sorting:
- The Cull monorepository.β141Updated this week
- an experimental new programming language based on interaction netsβ298Updated this week
- Finally, a shell for all seasons!β119Updated 7 months ago
- β117Updated 4 months ago
- Bend2 - WIPβ164Updated this week
- ποΈπβ¨ Rust workspace for Keyhive and related cratesβ115Updated last week
- Hypersubatomic is a high contrast UI and syntax theme for VSCodeβ88Updated 6 years ago
- Temporary repository for Kind2's refactor based on HVM2β281Updated 11 months ago
- A toy programming language with time travelβ311Updated last year
- Interaction net resourcesβ28Updated last week
- π CCL: Categorical Configuration Language, The most elegant configuration languageβ232Updated 3 weeks ago
- Nonsensical Math Paper Generatorβ191Updated 3 weeks ago
- The SM-2 algorithm.β22Updated 7 months ago
- Interactive quizzes for Markdownβ130Updated 2 months ago
- Fast webserver with predictable memory usageβ181Updated last year
- Language repository for Codigo, a collaborative programming language hub for discovering, comparing and sharing languages.β38Updated 2 months ago
- π° the first JSON-like Byzantine Fault Tolerant CRDTβ219Updated last year
- β¨ Zero Bullshit Gitβ230Updated last year
- Tur - A language for defining and executing Turing machines, complete with parser, interpreter, and multi-platform visualization tools.β98Updated this week
- Simple live calculator in tree-sitter + cranelift jitβ75Updated 8 months ago
- Python's Simplicity, C++'s Power, Native Interoperable with all, and Rust (W.I.P)β349Updated last week
- An example on how to write an incremental, concurrent, fault-tolerant compilerβ43Updated last month
- β¨ Pretty resume template written in Typstβ32Updated last year
- A curated list of awesome deterministic simulation testing resources πβ216Updated 2 months ago
- A minimal decentralized computer.β118Updated 3 years ago
- πͺ Tiny challenges for learning WebAssemblyβ68Updated 7 months ago
- Curated list of awesome stuff built on & with irohβ219Updated this week
- A simple programming language for researching different ways of program execution and compilationβ33Updated 10 months ago
- QBE IR in natural Rust data structuresβ115Updated 2 weeks ago
- HVM3β252Updated last week