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