systemphil / sphilLinks
The Systematic Philosophy Platformπ¦
β75Updated 3 weeks ago
Alternatives and similar repositories for sphil
Users that are interested in sphil are comparing it to the libraries listed below
Sorting:
- β55Updated last year
- π CCL: Categorical Configuration Language, The most elegant configuration languageβ246Updated 5 months ago
- an experimental new programming language based on interaction netsβ337Updated this week
- Interaction net resourcesβ43Updated last month
- Temporary repository for Kind2's refactor based on HVM2β281Updated last year
- Nonsensical Math Paper Generatorβ263Updated 3 months ago
- Par (β ) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.β643Updated this week
- HVM3β277Updated 3 months ago
- The Cull monorepository.β166Updated last month
- π° the first JSON-like Byzantine Fault Tolerant CRDTβ228Updated last year
- β134Updated 3 weeks ago
- ποΈπβ¨ Rust workspace for Keyhive and related cratesβ167Updated 2 weeks ago
- Collection of Kind2 programs and proofsβ12Updated last year
- β119Updated last year
- Inpla: Interaction nets as a programming language (the current version)β317Updated last week
- *cheep cheep shriek caw*β99Updated 2 years ago
- β115Updated this week
- Bend2 - WIPβ238Updated last month
- The SM-2 algorithm.β22Updated last year
- Python's Simplicity, C++'s Power, Native Interoperable with all, and Rust (W.I.P)β361Updated last week
- An example on how to write an incremental, concurrent, fault-tolerant compilerβ61Updated 6 months ago
- A curated list of awesome Category Theory resources.β126Updated 8 months ago
- GitHub repo backing Programming Language Ranking website β¬οΈβ34Updated last month
- Interactive quizzes for Markdownβ140Updated 2 months ago
- An interaction combinator runtimeβ18Updated last year
- An implementation of interaction nets as a forth-like language.β44Updated last month
- Finally, a shell for all seasons!β123Updated last year
- A curated list of awesome deterministic simulation testing resources πβ280Updated 6 months ago
- Fast webserver with predictable memory usageβ195Updated last year
- A toy programming language with time travelβ313Updated last year