life4 / deal-solverLinks
z3-powered solver (theorem prover) for deal
☆12Updated last year
Alternatives and similar repositories for deal-solver
Users that are interested in deal-solver are comparing it to the libraries listed below
Sorting:
- HTML representation for Python objects.☆16Updated last month
- A corpus of Python programs annotated with contracts☆21Updated 2 years ago
- Level-up your Hypothesis tests with CrossHair☆12Updated last week
- Tagged union types and immutable records (product types) in Python☆11Updated 7 years ago
- ☆17Updated 4 years ago
- Hypothesis extension to allow generating strings based on regex☆26Updated 6 years ago
- Miscellaneous extensions to Trio, the friendly Python async I/O library☆26Updated 9 months ago
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- A library for tracking program state☆15Updated 8 years ago
- Visualizing the scope history of your Trio project☆11Updated 3 years ago
- Combine contracts and automatic testing.☆82Updated 2 years ago
- Backwards compatible callback APIs☆19Updated 4 years ago
- Contractual Semver☆26Updated 3 years ago
- Advanced macro expander and language lab for Python.☆65Updated last month
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 13 years ago
- Cython PyParsing implementation.☆30Updated 7 months ago
- A Datalog Framework for Python☆12Updated 2 years ago
- ☆15Updated 2 years ago
- Parse protocols, without any I/O☆48Updated 7 years ago
- Pure python readline - works on Python 2, Python 3, PyPy 2, PyPy 3☆34Updated last year
- Partial evaluation of Python code☆21Updated 2 years ago
- A library implementing C++'s custom literal suffixes using pure Python.☆35Updated 6 months ago
- A system to Instrument running Python code☆25Updated 8 months ago
- Arena allocator for Python objects.☆13Updated 5 years ago
- Python S-expression emulation using tuple-like objects.☆22Updated 8 months ago
- A command-line utility for pulling code blocks out of markdown files.☆14Updated 3 years ago
- Straightforward unification in Python that's extensible via generic functions.☆50Updated 8 months ago
- Supercharge your Python with parts of Lisp and Haskell.☆95Updated last month
- Build languages on Python.☆12Updated 4 years ago
- ☆9Updated 2 years ago