mristin / python-by-contract-corpusLinks
A corpus of Python programs annotated with contracts
☆21Updated 2 years ago
Alternatives and similar repositories for python-by-contract-corpus
Users that are interested in python-by-contract-corpus are comparing it to the libraries listed below
Sorting:
- Level-up your Hypothesis tests with CrossHair☆12Updated last week
- A system to Instrument running Python code☆25Updated 8 months ago
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Updated last year
- Operator overloading for fast anonymous functions.☆50Updated 2 months ago
- Advanced macro expander and language lab for Python.☆65Updated last month
- See test results for every line of Python code☆21Updated 4 years ago
- Declarative, explicit, tool-friendly finite state machines in Python☆23Updated 5 years ago
- HTML representation for Python objects.☆16Updated last month
- z3-powered solver (theorem prover) for deal☆12Updated last year
- A lightweight tool to measure the full memory of a Python session☆19Updated 3 months ago
- Combine contracts and automatic testing.☆82Updated 2 years ago
- Find python identifiers☆12Updated 4 months ago
- A slightly opinionated iPython profile for interactive development☆23Updated 3 years ago
- A big, interactive table of package management tools in the Python ecosystem☆43Updated 2 years ago
- Analyzing the tree of imports of running Python code.☆12Updated 2 years ago
- Declarative instrumentation for Python.☆89Updated last month
- a relational algebra shell☆21Updated 3 years ago
- Set-oriented Operations in Pandas☆24Updated 5 years ago
- Logic Programming in Python☆31Updated 3 years ago
- Fastest general-purpose parsing library for Python with a familiar API☆44Updated 4 months ago
- A python implementation of delta debugging tool.☆25Updated last year
- Specify contracts for FastAPI endpoints.☆24Updated 3 years ago
- Custom Python functions for working with SQLite FTS4☆22Updated 2 years ago
- Shape annotations for numpy arrays and pytorch/tensorflow tensors.☆13Updated 2 years ago
- A module offering Python functions for simple and readable assertion-like checks to be used inside code, but also in testing.☆22Updated this week
- 🗿 Straightforward CLI parsing and dispatching microframework☆21Updated 6 months ago
- A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)☆63Updated 3 years ago
- Resolution theorem proving for predicate logic in pure Python.☆94Updated last year
- automatic persistence for Python objects☆46Updated 2 months ago
- CSV on the web☆40Updated 3 months ago