life4 / deal-solverLinks
z3-powered solver (theorem prover) for deal
☆12Updated 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 2 years ago
- Advanced macro expander and language lab for Python.☆69Updated 7 months ago
- A command-line utility for pulling code blocks out of markdown files.☆15Updated 4 years ago
- Combine contracts and automatic testing.☆86Updated 3 years ago
- Python library to work with algebraic effects☆80Updated 5 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆107Updated last year
- A corpus of Python programs annotated with contracts☆25Updated last month
- ☆15Updated 3 years ago
- An experiment in using DuckDB for a datalog / egg☆27Updated 2 years ago
- Hypothesis extension to allow generating strings based on regex☆26Updated 7 years ago
- Utilities for run-time type validation and multiple dispatch☆172Updated this week
- ☆17Updated 5 years ago
- A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)☆69Updated last week
- Contractual Semver☆28Updated 3 years ago
- A library implementing C++'s custom literal suffixes using pure Python.☆35Updated last year
- A very minimal implementation of the core idea of Hypothesis☆140Updated last year
- Proof Of Concept for python package management without virtualenvs☆30Updated last year
- Grammars suitable for lark parser and Hypothesis☆53Updated last year
- Tagged union types and immutable records (product types) in Python☆11Updated 8 years ago
- Arena allocator for Python objects.☆14Updated 5 years ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 14 years ago
- Statham is a Python Model Parsing Library for JSON Schema.☆39Updated 2 years ago
- Python variant types that work with match☆54Updated last year
- Miscellaneous extensions to Trio, the friendly Python async I/O library☆27Updated last year
- Prolog Implementation in Python☆12Updated 7 years ago
- Python async data processing microframework☆41Updated last year
- Python bindings for dhall, a functional configuration language☆48Updated last year
- Domain Specific Languages in Python☆97Updated 2 years ago
- Cython PyParsing implementation.☆33Updated last year
- Acquisition is a mechanism that allows objects to obtain attributes from the containment hierarchy they're in.☆12Updated last week