The Systematic Philosophy Platform🦉
☆77Apr 23, 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
- Implementation of bitswap protocol for libp2p☆19Feb 3, 2026Updated 3 months ago
- A platform-agnostic internationalization library for Gleam☆26Dec 7, 2025Updated 5 months ago
- A Gleam library to work with Crons☆24Oct 18, 2025Updated 6 months ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆22Aug 22, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆13Jun 30, 2023Updated 2 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Dec 6, 2016Updated 9 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Jan 28, 2016Updated 10 years ago
- ☆22Jan 17, 2024Updated 2 years ago
- Non-transferable Badges for Maker Ecosystem Activity @makerdao @ETHGlobal☆16Sep 17, 2025Updated 7 months 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 last month
- This package provides a synchronous iterator for consuming stdin. It supports all the non-browser targets, Erlang, Node, Deno, and Bun.☆23May 27, 2025Updated 11 months ago
- Simulates gcode from a cnc router. Converts gcode to a .stl or an image in a .png file.☆14Mar 19, 2026Updated last month
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 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.
- ☆10Jun 30, 2025Updated 10 months ago
- Official Github repository of BAM!☆17Sep 22, 2025Updated 7 months ago
- Send HTTP requests from Lustre applications and server components.☆34Jan 10, 2026Updated 3 months ago
- ☆34Jan 26, 2025Updated last year
- Historic versions of urlget source code.☆17Feb 23, 2025Updated last year
- ja is a small CLI / TUI app that allows you to work with AI tools☆20Apr 22, 2026Updated 2 weeks ago
- JVM implementation in Haskell☆44Sep 15, 2024Updated last year
- An implementation of "Regular Expression Matching: the Virtual Machine Approach"☆26Aug 20, 2024Updated last year
- Cross-platform implementation of cross-process named locks☆38Feb 28, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Notabena, the pure Rust open-source note-taking app.☆23Jun 22, 2024Updated last year
- A tar archive reading/writing library for async Rust.☆34Aug 23, 2025Updated 8 months ago
- Interaction net resources☆51Mar 25, 2026Updated last month
- Generate link previews from the command line (macOS)☆25Nov 29, 2025Updated 5 months ago
- Tree sitter grammar for S-expressions☆26Dec 5, 2020Updated 5 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆17Mar 6, 2020Updated 6 years ago
- CKB light client reference implementation☆16Mar 11, 2026Updated last month
- An implementation of interaction nets as a forth-like language.☆45Nov 16, 2025Updated 5 months ago
- micro social network, federated☆14Mar 15, 2026Updated last month
- 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.
- Plasma theme for emacs☆12Nov 11, 2024Updated last year
- formal verification of multicollateral dai in the K framework☆15Sep 10, 2021Updated 4 years ago
- o lua m'lua☆12May 27, 2024Updated last year
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- A Rust port of Jane Street's Incremental library.☆31Jan 8, 2025Updated last year
- Official GitHub repository of SpaceCraft☆80Oct 31, 2023Updated 2 years ago
- Slides + image for the 19. Sesja Linuksowa talk: "Can we boot Linux from just a floppy?"☆25Aug 5, 2025Updated 9 months ago