The Systematic Philosophy Platform🦉
☆77Apr 4, 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:
- Bindings to IndexedDB that default the transactions to aborting☆21Jul 8, 2025Updated 9 months ago
- NATS client for gleam☆14May 30, 2025Updated 10 months ago
- A Gleam library to work with Crons☆23Oct 18, 2025Updated 6 months ago
- ☆16Jul 21, 2025Updated 8 months ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆22Aug 22, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆13Jun 30, 2023Updated 2 years ago
- Generate HTTP clients from Open API specs.☆25Updated this week
- Implementing Abstract Binding Trees (in Scala, ...)☆19Jan 28, 2016Updated 10 years ago
- A Gleam syntax highlighter in Gleam☆23Oct 14, 2025Updated 6 months ago
- Rust client library for Flashbot's mev-share.☆20Apr 19, 2023Updated 3 years ago
- Non-transferable Badges for Maker Ecosystem Activity @makerdao @ETHGlobal☆16Sep 17, 2025Updated 7 months ago
- An esoteric programming language written in Ancient Greek☆11Nov 29, 2021Updated 4 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆15Mar 23, 2026Updated 3 weeks ago
- The Robius book: details about our vision for multi-platform app dev in Rust, plus docs, tutorials, examples, and more.☆25Jan 5, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 📝 Solutions of "An Infinitely Large Napkin"☆41Mar 22, 2026Updated 3 weeks ago
- This is deprecated, we use a much slimmer version by now:☆10Mar 22, 2020Updated 6 years ago
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 3 years ago
- Angular library for working with micro-frontends in Webpack 5 and plugin ModuleFederation☆23Apr 7, 2025Updated last year
- 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.☆22Aug 7, 2022Updated 3 years ago
- Multi backend HashMap for higher performance on different key space sizes☆30Oct 5, 2025Updated 6 months ago
- Moved to monorepo https://github.com/godwokenrises/godwoken/tree/develop/web3☆14Feb 27, 2023Updated 3 years ago
- User roles package for Meteor☆14Jul 18, 2018Updated 7 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆34Jan 26, 2025Updated last year
- Historic versions of urlget source code.☆16Feb 23, 2025Updated last year
- A public goods project aimed at supporting developers in exploring and contributing to the Nervos CKB ecosystem. CookCKB provides a colle…☆10Apr 20, 2024Updated last year
- JVM implementation in Haskell☆44Sep 15, 2024Updated last year
- Allows you to use gems not in your Gemfile.☆27Dec 21, 2022Updated 3 years ago
- A simple rust program for generating images of the mandelbrot set of given size/quality☆37Jul 26, 2019Updated 6 years ago
- 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
- Interaction net resources☆51Mar 25, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Functional Reactive Programming framework for Scala☆13Mar 12, 2013Updated 13 years ago
- CKB light client reference implementation☆16Mar 11, 2026Updated last month
- Clojure code editor wrapping Flense☆22May 8, 2015Updated 10 years ago
- An implementation of interaction nets as a forth-like language.☆45Nov 16, 2025Updated 5 months ago
- A collection of handy gleam/dynamic decoders.☆22Oct 6, 2024Updated last year
- 2D Rendering and Graphics library (port of AGG)☆29Feb 17, 2019Updated 7 years ago
- micro social network, federated☆13Mar 15, 2026Updated last month