Statically typed, purely functional effects for Python.
☆158Nov 11, 2025Updated 3 months ago
Alternatives and similar repositories for stateless
Users that are interested in stateless are comparing it to the libraries listed below
Sorting:
- A type-safe `functools.wraps`.☆20Nov 22, 2025Updated 3 months ago
- Python library to work with algebraic effects☆80Nov 17, 2020Updated 5 years ago
- Testing framework that empowers pytest (with better fixtures and parametrization)☆58Jun 26, 2024Updated last year
- Decisions by the Python Typing Council☆51Oct 2, 2024Updated last year
- pytest-patterns is a plugin for pytest that provides a pattern matching engine optimized for testing.☆27Oct 23, 2024Updated last year
- Easy to use and open-source unknown stealer☆22Jul 24, 2023Updated 2 years ago
- Email builder and sending handler interface.☆11Jun 14, 2025Updated 8 months ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- Generate Click options from msgspec types☆11Feb 1, 2025Updated last year
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- TriOTP, the OTP framework for Python Trio☆44Mar 31, 2025Updated 10 months ago
- An opinionated set of utilities / patterns for FastAPI☆26Feb 5, 2025Updated last year
- A Vite plugin for Melange☆13Feb 26, 2025Updated last year
- Linearizability Hoare Logic☆17Feb 9, 2026Updated 2 weeks ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Feb 27, 2020Updated 6 years ago
- Task orchestration for python☆74Feb 4, 2024Updated 2 years ago
- 🦆 Opinionated mocking library for Python☆33Feb 18, 2026Updated last week
- A lightweight integrating markup language☆16Feb 24, 2020Updated 6 years ago
- Abstract class attributes for Python ABCs.☆18Dec 17, 2025Updated 2 months ago
- Glide is an interpreted javascript VM written entirely in safe rust.☆16Sep 25, 2023Updated 2 years ago
- Resolvelib ported to rust☆16Apr 15, 2025Updated 10 months ago
- 🐫🎮 OCaml Game Engine☆44Mar 20, 2025Updated 11 months ago
- A library implementing C++'s custom literal suffixes using pure Python.☆35Nov 14, 2024Updated last year
- A very-minimal command-line parser☆20Jul 28, 2025Updated 6 months ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago
- Rust procedural macro attribute to enable target features at runtime☆14Dec 22, 2017Updated 8 years ago
- Solve hard constraints easily with Rust.☆15Jul 17, 2022Updated 3 years ago
- A collection of type-safe, async friendly, and un-opinionated enhancements to SQLAlchemy Core that works well with mordern web servers☆35Dec 12, 2025Updated 2 months ago
- Define c structs with typing☆21Jul 30, 2025Updated 6 months ago
- Atmosphere and planet rendering playground.☆25Jan 4, 2026Updated last month
- ipython + REPL + coroutines - suffering☆21Aug 22, 2024Updated last year
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆17May 27, 2020Updated 5 years ago
- Elixir's pipe operator in Python☆41Updated this week
- 🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.☆866Nov 30, 2025Updated 2 months ago
- ☆16Apr 19, 2022Updated 3 years ago
- Formalising session types in Coq☆18Sep 6, 2019Updated 6 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Mar 4, 2024Updated last year
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 3 months ago
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆17Nov 28, 2018Updated 7 years ago