The Systematic Philosophy Platformπ¦
β77May 15, 2026Updated 2 weeks ago
Alternatives and similar repositories for sphil
Users that are interested in sphil are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- openzepplin smart contracts written in rust for arbritum stylusβ13Apr 20, 2024Updated 2 years ago
- Copying Garbage Collectorβ14May 13, 2020Updated 6 years ago
- HTTP/HTTPS proxy with real-time monitoring for Agent traffic. Designed for debugging and monitoring Claude Code, Anthropic API calls, andβ¦β27Feb 6, 2026Updated 3 months ago
- A Gleam library to work with Cronsβ24Oct 18, 2025Updated 7 months ago
- β16Jul 21, 2025Updated 10 months ago
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Symbolic Execution Benchmarks for Ethereum Smart Contractsβ22Aug 22, 2024Updated last year
- A Gleam wrapper around the Meck library to do mocking in the easiest wayβ14Sep 14, 2025Updated 8 months ago
- β13Jun 30, 2023Updated 2 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Proverβ13Dec 6, 2016Updated 9 years ago
- A from-scratch multi-difficulty-level tutorial on how pytorch, tensor flow, Jax, etc workβ13Feb 19, 2025Updated last year
- Generate HTTP clients from Open API specs.β26Apr 16, 2026Updated last month
- Original KJV 1611 Bible as JSON files. There are 80 books. Each book is a separate JSON file.β16Mar 30, 2024Updated 2 years ago
- Non-transferable Badges for Maker Ecosystem Activity @makerdao @ETHGlobalβ16Sep 17, 2025Updated 8 months ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,β¦β16Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An esoteric programming language written in Ancient Greekβ11Nov 29, 2021Updated 4 years ago
- This package provides a synchronous iterator for consuming stdin. It supports all the non-browser targets, Erlang, Node, Deno, and Bun.β23May 27, 2025Updated last year
- A library for reading fonts from the TrueType formatβ17Jan 27, 2016Updated 10 years ago
- π Solutions of "An Infinitely Large Napkin"β41Mar 22, 2026Updated 2 months ago
- An example of how I architected my SvelteKit appβ16Apr 22, 2022Updated 4 years ago
- Collaborative Commons for Blockchain and Cryptocurrency Curationβ10Jun 5, 2023Updated 2 years ago
- This is deprecated, we use a much slimmer version by now:β10Mar 22, 2020Updated 6 years ago
- β10Jun 30, 2025Updated 11 months ago
- Filter, sanitize, cleanse, and even diff your HTML.β19Feb 6, 2022Updated 4 years ago
- End-to-end encrypted email - Proton Mail β’ AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Official Github repository of BAM!β17Sep 22, 2025Updated 8 months ago
- Send HTTP requests from Lustre applications and server components.β34May 4, 2026Updated 3 weeks ago
- β57May 22, 2026Updated last week
- A text-to-audio model for generating text-conditioned drum beatsβ21Apr 25, 2023Updated 3 years ago
- A file that behaves the same when executed as Ruby, C, PHP, and Javascript.β22Mar 27, 2018Updated 8 years ago
- HTML5 inspired canvas implemented in Node.js for rendering PNG images.β23Aug 7, 2022Updated 3 years ago
- Multi backend HashMap for higher performance on different key space sizesβ30Oct 5, 2025Updated 7 months ago
- Functional Programing in Scala (in Idris) [Idris]β16Mar 23, 2015Updated 11 years ago
- Moved to monorepo https://github.com/godwokenrises/godwoken/tree/develop/web3β14Feb 27, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- User roles package for Meteorβ14Jul 18, 2018Updated 7 years ago
- A web service that generates images of dependency graphs for crates hosted on crates.ioβ19Aug 6, 2017Updated 8 years ago
- Mirror of Apache OpenNLP Add-onsβ19May 18, 2026Updated last week
- JVM implementation in Haskellβ44Sep 15, 2024Updated last year
- β12Mar 16, 2025Updated last year
- An implementation of "Regular Expression Matching: the Virtual Machine Approach"β26Aug 20, 2024Updated last year
- an experiment in presenting code.β14Aug 11, 2020Updated 5 years ago