systemphil / sphilLinks
The Systematic Philosophy Platformπ¦
β75Updated this week
Alternatives and similar repositories for sphil
Users that are interested in sphil are comparing it to the libraries listed below
Sorting:
- an experimental new programming language based on interaction netsβ284Updated last week
- Finally, a shell for all seasons!β118Updated 6 months ago
- The Cull monorepository.β121Updated this week
- Bend2 - WIPβ111Updated this week
- β51Updated 6 months ago
- Par (β ) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.β356Updated this week
- π° the first JSON-like Byzantine Fault Tolerant CRDTβ218Updated last year
- Temporary repository for Kind2's refactor based on HVM2β281Updated 9 months ago
- ποΈπβ¨ Rust workspace for Keyhive and related cratesβ105Updated last month
- β113Updated 3 months ago
- β¨ Pretty resume template written in Typstβ31Updated last year
- A minimalist 8-bit microcomputer with stack-based microprocessorβ78Updated this week
- HVM3β226Updated last week
- Nonsensical Math Paper Generatorβ157Updated last month
- β44Updated 9 months ago
- Interaction net resourcesβ18Updated this week
- Advent of Code 2023 in 25 interesting language specimens, A-Zβ33Updated last year
- emulate terminal screenshots in typstβ37Updated last year
- A toy programming language with time travelβ314Updated last year
- Collection of Kind2 programs and proofsβ12Updated last year
- Syntax trees for typstβ36Updated 5 months ago
- πͺ Tiny challenges for learning WebAssemblyβ68Updated 6 months ago
- A minimal decentralized computer.β118Updated 3 years ago
- Interactive quizzes for Markdownβ128Updated last month
- Curated list of awesome stuff built on & with irohβ143Updated 3 weeks ago
- π A smol functional language that targets other languagesβ62Updated last year
- π CCL: Categorical Configuration Language, The most elegant configuration languageβ225Updated 5 months ago
- A versatile, clean and minimal template for non-fiction writing. Ideal for class notes, reports, and books.β145Updated 4 months ago
- A next-generation high-performance operating system focused on enterprise-level resilienceβ87Updated 9 months ago
- Bandish notation editor for Hindustani classical musicβ25Updated this week