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:
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- Advanced macro expander and language lab for Python.☆68Updated 4 months ago
- Combine contracts and automatic testing.☆84Updated 3 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆106Updated last year
- ☆15Updated 2 years ago
- Adaptive fuzzing of Hypothesis tests☆96Updated 2 weeks ago
- Miscellaneous extensions to Trio, the friendly Python async I/O library☆27Updated last year
- Hypothesis extension to allow generating strings based on regex☆26Updated 6 years ago
- ☆17Updated 4 years ago
- A library for tracking program state☆15Updated 9 years ago
- Prolog Implementation in Python☆12Updated 7 years ago
- Pure python readline - works on Python 2, Python 3, PyPy 2, PyPy 3☆33Updated last year
- A corpus of Python programs annotated with contracts☆24Updated 3 years ago
- Python async data processing microframework☆40Updated last year
- Partial evaluation of Python code☆22Updated 2 years ago
- HTML representation for Python objects.☆17Updated 4 months ago
- Tagged union types and immutable records (product types) in Python☆11Updated 8 years ago
- Contractual Semver☆27Updated 3 years ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 14 years ago
- Utilities for run-time type validation and multiple dispatch☆169Updated 2 weeks ago
- Supercharge your Python with parts of Lisp and Haskell.☆99Updated 4 months ago
- A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)☆67Updated 3 years ago
- Python library to work with algebraic effects☆80Updated 4 years ago
- Python variant types that work with match☆52Updated last year
- Operator overloading for fast anonymous functions.☆50Updated this week
- A command-line utility for pulling code blocks out of markdown files.☆14Updated 3 years ago
- Extract semantic information about static Python code☆78Updated 2 months ago
- Python functional programming☆28Updated last month
- Visualizing the scope history of your Trio project☆12Updated 3 years ago
- Python 3 AST unparser with type comments support.☆31Updated 5 years ago