The Systematic Philosophy Platform🦉
☆76Feb 28, 2026Updated this week
Alternatives and similar repositories for sphil
Users that are interested in sphil are comparing it to the libraries listed below
Sorting:
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆13Updated this week
- openzepplin smart contracts written in rust for arbritum stylus☆13Apr 20, 2024Updated last year
- harfbuzz ported to the zig build system☆18Dec 24, 2025Updated 2 months ago
- This toolkit provides an implementation of Modified Adsorption (MAD), a graph-based semi-supervised learning (SSL) algorithm.☆24Jun 20, 2017Updated 8 years ago
- An implementation of "Regular Expression Matching: the Virtual Machine Approach"☆26Aug 20, 2024Updated last year
- Interaction net resources☆45Jan 29, 2026Updated last month
- Tree sitter grammar for S-expressions☆26Dec 5, 2020Updated 5 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- A collection of functionality around rooted trees to generate order conditions for Runge-Kutta methods in Julia for differential equation…☆38Jan 12, 2026Updated last month
- ☆34Jan 26, 2025Updated last year
- mReasoner is a unified computational implementation of the model theory of thinking and reasoning☆13Aug 17, 2023Updated 2 years ago
- bayesPop R package☆11Feb 23, 2026Updated last week
- My personal site.☆10Feb 23, 2026Updated last week
- Python Library for Lazy Interfaces☆35Sep 27, 2018Updated 7 years ago
- An implementation of interaction nets as a forth-like language.☆45Nov 16, 2025Updated 3 months ago
- ☆10Jul 6, 2023Updated 2 years ago
- GitHub Action that automatically updates Pachyderm pipelines when code is pushed.☆11Jul 11, 2022Updated 3 years ago
- A C++ template library for polynomials algebra over discrete integral domains☆11May 9, 2025Updated 9 months ago
- DynELA Finite Element code v.3.0☆11Oct 22, 2020Updated 5 years ago
- Sources of the EuroProofNet web site.☆13Feb 28, 2026Updated last week
- Code that drives the public web-based tools for the Media Cloud Online News Archive and Directory.☆11Updated this week
- C4RepSet: Representative Subset from C4 data for Training Pre-trained LMs☆11Jan 13, 2023Updated 3 years ago
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆15May 12, 2022Updated 3 years ago
- CMake dependency tracking library☆13Feb 22, 2026Updated last week
- ☆11Sep 5, 2022Updated 3 years ago
- Code and data for the Walert large language model-based chatbot☆12Aug 14, 2025Updated 6 months ago
- prediction market indexer with semantic search☆35Jan 27, 2026Updated last month
- Wikimedia Enterprise - client SDK in Python☆20Nov 11, 2025Updated 3 months ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- Containerfile for the Vanilla OS Desktop+Nvidia image.☆16Feb 5, 2026Updated last month
- TinyVecDB is an ultra fast embedded vector database.☆52Apr 3, 2025Updated 11 months ago
- SPRINT Toolkit helps you evaluate diverse neural sparse models easily using a single click on any IR dataset.☆47Jul 25, 2023Updated 2 years ago
- How to build the MPI Version of Code Aster 15.4 inside the Singularity Container of Salome-Meca 2021☆13Mar 1, 2023Updated 3 years ago
- ☆12Mar 8, 2023Updated 2 years ago
- Context Logger for Golang☆23Oct 31, 2025Updated 4 months ago
- Providing extended modding functionality to Digimon Story Cyber Sleuth Complete Edition on Steam.☆17Aug 30, 2024Updated last year
- prevent XSS attacks by sanitizing html (this is different then escaping!)☆22Oct 14, 2023Updated 2 years ago
- Simulated user for TREC 2016-2017 Dynamic Domain track☆10Dec 27, 2017Updated 8 years ago
- DependoBuf - a data serialization format with dependent types☆16Nov 9, 2024Updated last year