Rust Inspired Type-Safe Errors and Missing Values for Python.
☆20Apr 20, 2023Updated 3 years ago
Alternatives and similar repositories for flusso
Users that are interested in flusso are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple library for running async tasks in egui and binding their results to your UI.☆27Oct 4, 2026Updated last week
- Web-based e-library platform with bookshelf UI, EPUB reader, and social features☆17Sep 29, 2026Updated 2 weeks ago
- Paragraph fit — a codebase-aware comment reflow tool. Wraps prose with optimal-fit line breaking; leaves directives alone. Inspired by pa…☆16Apr 25, 2026Updated 5 months ago
- Surgical terminal storage navigator☆90Updated this week
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆12Jun 22, 2019Updated 7 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.
- Autonomous Theorem Prover for First Order Predicate Logic☆12Jun 29, 2020Updated 6 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Experimental Quantum Computer Simulator + Quantum Chess Implementation☆19Jan 4, 2021Updated 5 years ago
- A text file containing English words, along with the definition, parts of speech (noun,verb,adjective,etc.), and a link to the url where …☆13Apr 27, 2024Updated 2 years ago
- Undermining Python's "turtles-all-the-way-up" asynchronous idiom.☆19Feb 18, 2026Updated 7 months ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- A parser for files in the Unicode database☆17Nov 17, 2019Updated 6 years ago
- ☆11Apr 27, 2017Updated 9 years ago
- Pre-flight linter for Jinja2/Ansible repositories with Git pre-commit hooks☆18Aug 18, 2026Updated last month
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Qute: a dependency learning QBF solver.☆18Mar 31, 2026Updated 6 months ago
- Functional interface for concurrent futures, including async coroutines.☆12Jul 25, 2026Updated 2 months ago
- Text to IPA converter in JavaScript. Uses code from https://github.com/surrsurus/text-to-ipa☆14Jul 14, 2024Updated 2 years ago
- modal logic library for LEAN theorem prover☆13Aug 20, 2017Updated 9 years ago
- A minimum expression repo for anyone who wants to give the EdgeDB Rust client a try.☆20Aug 8, 2024Updated 2 years ago
- Trio-compatible version of click. The issue tracker is at python-trio/trio-click☆19Jun 30, 2026Updated 3 months ago
- Boilerplate code for Ansible☆15Nov 24, 2018Updated 7 years ago
- Unicode-only CJKV IDS data☆15Aug 9, 2024Updated 2 years ago
- Word lists categorized approximately by parts of speech. Parsed from open source lists as shown in details and sources. WARNING: Not suit…☆10Oct 28, 2023Updated 2 years ago
- 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.
- Concurrency agnostic socket with semantics☆11May 15, 2023Updated 3 years ago
- MLPro - The Integrative Middleware Framework for Standardized Machine Learning in Python☆20Aug 15, 2026Updated last month
- Just another IRC bot.☆14Sep 18, 2026Updated 3 weeks ago
- An English-Chinese dictionary, both cli and a node module.☆13Mar 20, 2019Updated 7 years ago
- Estimate the number of legal chess positions☆14Jan 14, 2021Updated 5 years ago
- Automated rate limits implementation for web servers☆20Sep 6, 2026Updated last month
- ☆11Apr 14, 2023Updated 3 years ago
- Banyan is Trees for Python☆12Jul 14, 2014Updated 12 years ago
- A Library to enable preconversion of any Python type into one that is easily serializable☆18Dec 8, 2022Updated 3 years ago
- 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.
- Add /dev/screaming on Linux☆11Aug 18, 2023Updated 3 years ago
- A repository of words in multiple languages sorted by their frequency☆13Sep 1, 2023Updated 3 years ago
- Multiarchitecture Docker Containers for Python using Gunicorn and Uvicorn☆17Sep 25, 2026Updated 2 weeks ago
- 🐼 Easy to use and portable pronunciation data for Hanzi characters.☆16Feb 27, 2017Updated 9 years ago
- Kubemen watch your Kubernetes cluster and send notifications when a resource changes☆13Jan 30, 2021Updated 5 years ago
- A simple phonetic respelling for the English language☆13Dec 23, 2025Updated 9 months ago
- generate random valid Shift format ASTs☆20Apr 27, 2022Updated 4 years ago