Statically typed, purely functional effects for Python.
☆160Nov 11, 2025Updated 4 months ago
Alternatives and similar repositories for stateless
Users that are interested in stateless 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 type-safe `functools.wraps`.☆20Mar 17, 2026Updated 3 weeks ago
- Functional, composable, asynchronous, type-safe Python.☆156Nov 20, 2023Updated 2 years ago
- Testing framework that empowers pytest (with better fixtures and parametrization)☆58Jun 26, 2024Updated last year
- Email builder and sending handler interface.☆11Jun 14, 2025Updated 9 months ago
- pytest-patterns is a plugin for pytest that provides a pattern matching engine optimized for testing.☆27Oct 23, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Multi-shot CPS typed algebraic effects and handlers, in typescript.☆18Sep 11, 2023Updated 2 years ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Feb 27, 2020Updated 6 years ago
- A Nix build graph profiler☆38Aug 3, 2025Updated 8 months ago
- Various mechanized proof files for fun.☆13Mar 31, 2026Updated last week
- Generate Click options from msgspec types☆11Feb 1, 2025Updated last year
- Atomic low latency job queues running on Postgres☆58Apr 24, 2023Updated 2 years ago
- A rust port of Python stdlib's graphlib☆28Feb 15, 2023Updated 3 years ago
- Declarative CLI argument parser☆197Feb 18, 2026Updated last month
- 🦆 Better read-only Protocols for mypy☆21Jan 6, 2026Updated 3 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- API to interact with the python pyproject.toml based projects☆25Mar 30, 2026Updated last week
- A Vite plugin for Melange☆13Feb 26, 2025Updated last year
- Four-wheel drive for asyncio.☆83Mar 31, 2026Updated last week
- Typst template mimicking acmart latex class☆29Jan 2, 2026Updated 3 months ago
- Abstract class attributes for Python ABCs.☆18Mar 30, 2026Updated last week
- Datatype-generic object-oriented transformations for OCaml☆17Nov 16, 2025Updated 4 months ago
- 🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.☆881Nov 30, 2025Updated 4 months ago
- An opinionated set of utilities / patterns for FastAPI☆26Feb 5, 2025Updated last year
- A very-minimal command-line parser☆20Jul 28, 2025Updated 8 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Task orchestration for python☆74Feb 4, 2024Updated 2 years ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated 2 months ago
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆17Nov 28, 2018Updated 7 years ago
- 🦆 Opinionated mocking library for Python☆33Apr 1, 2026Updated last week
- Formalising session types in Coq☆18Sep 6, 2019Updated 6 years ago
- A Really Cool Calculator written in Haskell... or is it?☆45Aug 26, 2021Updated 4 years ago
- Useful types for Python☆150Jan 5, 2026Updated 3 months ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆33Jun 10, 2022Updated 3 years ago
- Negative trait implementations on stable Rust.☆18Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Example repo showing how to build wheels with cibuildwheel and automatically upload to PyPI on every tag☆15Nov 1, 2021Updated 4 years ago
- rustls-based modern TLS for Python☆103Mar 30, 2026Updated last week
- Various time related widgets & functionality for Textual.☆22Mar 15, 2026Updated 3 weeks ago
- Resolvelib ported to rust☆16Apr 15, 2025Updated 11 months ago
- Phantom types for Python.☆234Jan 1, 2026Updated 3 months ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆27Oct 24, 2023Updated 2 years ago
- A tutorial on writing wasm by hand☆23Apr 4, 2022Updated 4 years ago