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:
- ☆17Updated 4 years ago
- Combine contracts and automatic testing.☆83Updated 3 years ago
- Contractual Semver☆27Updated 3 years ago
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆105Updated last year
- Advanced macro expander and language lab for Python.☆67Updated 2 months ago
- ☆15Updated 2 years ago
- Level-up your Hypothesis tests with CrossHair☆14Updated last month
- A corpus of Python programs annotated with contracts☆22Updated 2 years ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 13 years ago
- Backwards compatible callback APIs☆19Updated 5 years ago
- A library implementing C++'s custom literal suffixes using pure Python.☆35Updated 7 months ago
- Process-independent interface to Linux system calls☆70Updated 2 years ago
- Dependency DB for python packages on pypi☆67Updated last year
- A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)☆67Updated 3 years ago
- Tools to visualize large code bases in different ways.☆23Updated last week
- Cython PyParsing implementation.☆30Updated 8 months ago
- Adaptive fuzzing of Hypothesis tests☆94Updated last week
- A command-line utility for pulling code blocks out of markdown files.☆14Updated 3 years ago
- Python library to work with algebraic effects☆78Updated 4 years ago
- A system to Instrument running Python code☆25Updated 3 weeks ago
- Sum Types, aka Tagged Unions, for Python☆44Updated 3 years ago
- Tagged union types and immutable records (product types) in Python☆11Updated 8 years ago
- Operator overloading for fast anonymous functions.☆50Updated 3 weeks ago
- HTML representation for Python objects.☆17Updated 2 months ago
- Partial evaluation of Python code☆22Updated 2 years ago
- Supercharge your Python with parts of Lisp and Haskell.☆95Updated 2 months ago
- Hypothesis extension to allow generating strings based on regex☆26Updated 6 years ago
- Generate fast JSON parsers based on type stubs☆12Updated 5 years ago
- Miscellaneous extensions to Trio, the friendly Python async I/O library☆27Updated 11 months ago