systemphil / sphil
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
- an experimental new programming language based on interaction netsβ252Updated this week
- β102Updated 3 weeks ago
- The Cull monorepository.β75Updated last week
- β47Updated 3 months ago
- Hypersubatomic is a high contrast UI and syntax theme for VSCodeβ81Updated 5 years ago
- Par (β ) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.β171Updated this week
- Curated list of awesome stuff built on & with irohβ107Updated 2 months ago
- An integrated editor for the typst typesetting system.β102Updated 2 weeks ago
- interactive backronym composition toolβ26Updated last month
- PROJECT RENAMED. GO HERE:β65Updated 8 months ago
- Fork of the Gleam compiler providing a Nix backend, compiling Gleam to Nixβ124Updated last week
- HVM3β203Updated this week
- Syntax trees for typstβ33Updated 2 months ago
- β28Updated last week
- Inpla: Interaction nets as a programming language (the current version)β299Updated 5 months ago
- πͺ Tiny challenges for learning WebAssemblyβ69Updated 3 months ago
- Experiments in building "better" languages and tools; for some measure of better.β230Updated last month
- A query language for exploring knowledge graphs.β142Updated 8 months ago
- A basic resume for typst, designed to work well with ATS systems.β56Updated last month
- Haskell library for parsing and evaluating typstβ55Updated 3 weeks ago
- Fast webserver with predictable memory usageβ169Updated 10 months ago
- Finally, a shell for all seasons!β116Updated 3 months ago
- A notes application that makes taking notes... quickβ75Updated 2 months ago
- A typst wasm plugin to use graphviz directly inside documentsβ116Updated 3 weeks ago
- An interpreter for the 1991 Oriel scripting languageβ56Updated last year
- β27Updated last month
- emulate terminal screenshots in typstβ37Updated last year
- π CCL: Categorical Configuration Language, The most elegant configuration languageβ204Updated 2 months ago
- A logic programming language that has features of both Datalog and answer set programming.β114Updated 3 weeks ago
- β85Updated this week