life4 / deal-solverLinks
z3-powered solver (theorem prover) for deal
☆13Updated 2 years ago
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 3 years ago
- Advanced macro expander and language lab for Python.☆70Updated 9 months ago
- ☆19Updated 5 years ago
- ☆15Updated 3 years ago
- Hypothesis extension to allow generating strings based on regex☆26Updated 7 years ago
- Combine contracts and automatic testing.☆86Updated 3 years ago
- Cython PyParsing implementation.☆33Updated last week
- A command-line utility for pulling code blocks out of markdown files.☆15Updated 4 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆110Updated last year
- Pure python readline - works on Python 2, Python 3, PyPy 2, PyPy 3☆35Updated 2 years ago
- Supercharge your Python with parts of Lisp and Haskell.☆101Updated last week
- Tagged union types and immutable records (product types) in Python☆11Updated 8 years ago
- ☆24Updated 5 months ago
- Contractual Semver☆28Updated 3 years ago
- A library for tracking program state☆15Updated 9 years ago
- Property-based tests for the Python standard library (and builtins)☆27Updated 4 years ago
- Domain Specific Languages in Python☆97Updated 2 years ago
- Visualizing the scope history of your Trio project☆12Updated 4 years ago
- Python functional programming☆29Updated last week
- Utilities for run-time type validation and multiple dispatch☆172Updated 2 months ago
- Miscellaneous extensions to Trio, the friendly Python async I/O library☆27Updated last year
- Research notebooks in Python, with the power of literate programming and Markdown.☆41Updated 12 years ago
- Python implementation of the Varlink protocol☆57Updated 2 months ago
- A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)☆71Updated 2 months ago
- Python statecharts☆60Updated last year
- HTML representation for Python objects.☆17Updated 9 months ago
- Straightforward unification in Python that's extensible via generic functions.☆53Updated 3 months ago
- A system to Instrument running Python code☆25Updated 7 months ago
- Partial evaluation of Python code☆22Updated 2 years ago
- A library implementing C++'s custom literal suffixes using pure Python.☆35Updated last year