life4 / deal-solver
z3-powered solver (theorem prover) for deal
☆11Updated last year
Alternatives and similar repositories for deal-solver:
Users that are interested in deal-solver are comparing it to the libraries listed below
- ☆14Updated 2 years ago
- Contractual Semver☆26Updated 2 years ago
- Pure python readline - works on Python 2, Python 3, PyPy 2, PyPy 3☆32Updated last year
- Tagged union types and immutable records (product types) in Python☆11Updated 7 years ago
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- Backwards compatible callback APIs☆19Updated 4 years ago
- Hypothesis extension to allow generating strings based on regex☆26Updated 6 years ago
- Combine contracts and automatic testing.☆79Updated 2 years ago
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated 4 months ago
- Advanced macro expander and language lab for Python.☆63Updated 5 months ago
- A library for tracking program state☆15Updated 8 years ago
- Python async data processing microframework☆38Updated 10 months ago
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- HTML representation for Python objects.☆16Updated 4 months ago
- A pytest plugin that allows for the testing of C extension modules for Python, specifically created through cython☆20Updated last week
- A command-line utility for pulling code blocks out of markdown files.☆14Updated 3 years ago
- Visualizing the scope history of your Trio project☆11Updated 3 years ago
- Cython PyParsing implementation.☆30Updated 4 months ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 13 years ago
- A Datalog Framework for Python☆11Updated last year
- Proof Of Concept for python package management without virtualenvs☆29Updated 10 months ago
- Tools to visualize large code bases in different ways.☆23Updated this week
- Prolog Implementation in Python☆11Updated 7 years ago
- JSON minus Notation plus Macros☆21Updated 2 years ago
- Library for simulating time progression in Python☆15Updated 5 months ago
- A corpus of Python programs annotated with contracts☆21Updated 2 years ago
- An Implementation of Raft in Janet☆19Updated 4 years ago
- Generate fast JSON parsers based on type stubs☆12Updated 4 years ago
- A library implementing C++'s custom literal suffixes using pure Python.☆34Updated 3 months ago
- Research notebooks in Python, with the power of literate programming and Markdown.☆41Updated 11 years ago