The Systematic Philosophy Platform🦉
☆77Aug 21, 2026Updated last week
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:
- Official Github repository of BAM!☆17Sep 22, 2025Updated 11 months ago
- openzepplin smart contracts written in rust for arbritum stylus☆12Apr 20, 2024Updated 2 years ago
- Copying Garbage Collector☆14May 13, 2020Updated 6 years ago
- harfbuzz ported to the zig build system☆19Apr 13, 2026Updated 4 months ago
- ☆16Jul 21, 2025Updated last year
- 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.
- Cryptography library for Gleam targeting Erlang and JavaScript☆18Aug 21, 2026Updated last week
- NATS client for gleam☆14May 30, 2025Updated last year
- ☆12Mar 21, 2025Updated last year
- A Gleam wrapper around the Meck library to do mocking in the easiest way☆14Sep 14, 2025Updated 11 months ago
- An implementation of Warren's abstract machine written in OCaml☆16Nov 11, 2025Updated 9 months ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Dec 6, 2016Updated 9 years 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 11 months ago
- Forms in Astro made easy.☆29Jul 18, 2022Updated 4 years 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.
- Implementing Abstract Binding Trees (in Scala, ...)☆19Jan 28, 2016Updated 10 years ago
- HTTP Proxy that allows you to define the IP address at connect time☆20Jan 11, 2026Updated 7 months ago
- A library for reading fonts from the TrueType format☆17Jan 27, 2016Updated 10 years ago
- An esoteric programming language written in Ancient Greek☆12Nov 29, 2021Updated 4 years ago
- A synchronous stdin iterator for Gleam, with uniform behavior across Erlang, Node, Deno, and Bun.☆23May 27, 2025Updated last year
- Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Int…☆15Feb 27, 2025Updated last year
- A web page with resources for teaching with formal methods and tools.☆15Apr 8, 2023Updated 3 years ago
- A CLI tool for documenting Gleam modules☆15Sep 17, 2025Updated 11 months ago
- ☆10Jun 30, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆16Apr 14, 2016Updated 10 years ago
- Send emails with Gleam.☆17Apr 19, 2026Updated 4 months ago
- A library providing https://lucide.dev icons to lustre☆15Dec 28, 2025Updated 8 months ago
- The Robius book: details about our vision for multi-platform app dev in Rust, plus docs, tutorials, examples, and more.☆27Jan 5, 2024Updated 2 years ago
- A file that behaves the same when executed as Ruby, C, PHP, and Javascript.☆22Mar 27, 2018Updated 8 years ago
- Moved to monorepo https://github.com/godwokenrises/godwoken/tree/develop/web3☆14Feb 27, 2023Updated 3 years ago
- It's a linter for Gleam. You can even add your own custom rules.☆19Jul 26, 2026Updated last month
- Multi backend HashMap for higher performance on different key space sizes☆31Oct 5, 2025Updated 10 months ago
- A public goods project aimed at supporting developers in exploring and contributing to the Nervos CKB ecosystem. CookCKB provides a colle…☆10Apr 20, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆12Mar 16, 2025Updated last year
- A resource pool for Gleam!☆22Feb 20, 2026Updated 6 months ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆19Jul 30, 2020Updated 6 years ago
- Efficiently slice prefixes from strings. Good for parsers!☆20Nov 18, 2025Updated 9 months ago
- Write HTML compliant email with peace of mind like Lustre 😌☆22Jun 28, 2026Updated 2 months ago
- Materials for the devcon4 workshop☆14Nov 1, 2018Updated 7 years ago
- A Gleam syntax highlighter in Gleam☆23Oct 14, 2025Updated 10 months ago