Statically typed, purely functional effects for Python.
☆159Nov 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
Sorting:
- Python library to work with algebraic effects☆80Nov 17, 2020Updated 5 years ago
- A type-safe `functools.wraps`.☆20Updated this week
- Functional, composable, asynchronous, type-safe Python.☆155Nov 20, 2023Updated 2 years ago
- Testing framework that empowers pytest (with better fixtures and parametrization)☆58Jun 26, 2024Updated last year
- Decisions by the Python Typing Council☆53Oct 2, 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
- Multi-shot CPS typed algebraic effects and handlers, in typescript.☆18Sep 11, 2023Updated 2 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Feb 27, 2020Updated 6 years ago
- A Nix build graph profiler☆37Aug 3, 2025Updated 7 months ago
- Various mechanized proof files for fun.☆13Mar 9, 2026Updated last week
- Generate Click options from msgspec types☆11Feb 1, 2025Updated last year
- Atomic low latency job queues running on Postgres☆57Apr 24, 2023Updated 2 years ago
- A rust port of Python stdlib's graphlib☆28Feb 15, 2023Updated 3 years ago
- Declarative CLI argument parser☆192Feb 18, 2026Updated last month
- 🦆 Better read-only Protocols for mypy☆21Jan 6, 2026Updated 2 months ago
- API to interact with the python pyproject.toml based projects☆25Mar 9, 2026Updated last week
- Gleam OpenTelemetry library☆22Dec 21, 2025Updated 2 months ago
- A Vite plugin for Melange☆13Feb 26, 2025Updated last year
- Four-wheel drive for asyncio.☆83Sep 14, 2025Updated 6 months ago
- Typst template mimicking acmart latex class☆28Jan 2, 2026Updated 2 months ago
- Abstract class attributes for Python ABCs.☆18Dec 17, 2025Updated 3 months ago
- pytest plugin for testing mypy types, stubs, and plugins☆123Mar 12, 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.☆875Nov 30, 2025Updated 3 months ago
- An opinionated set of utilities / patterns for FastAPI☆26Feb 5, 2025Updated last year
- Task orchestration for python☆74Feb 4, 2024Updated 2 years ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated last month
- A library implementing C++'s custom literal suffixes using pure Python.☆35Nov 14, 2024Updated last year
- A seamless and streamlined functional tool☆104Jun 11, 2025Updated 9 months ago
- Monads, Do style☆37Oct 25, 2018Updated 7 years ago
- ☆25Mar 6, 2026Updated 2 weeks 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☆33Mar 8, 2026Updated last week
- A type wrapper for the standard library `datetime` that supplies stricter checks, such as making 'datetime' not substitutable for 'date',…☆92Feb 21, 2026Updated 3 weeks ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- ☆29Sep 14, 2015Updated 10 years ago
- 🐫🎮 OCaml Game Engine☆44Mar 20, 2025Updated last year