tyche-pbt / tyche-extensionLinks
☆22Updated 2 months ago
Alternatives and similar repositories for tyche-extension
Users that are interested in tyche-extension are comparing it to the libraries listed below
Sorting:
- Turn your git commit history into a scientific log☆46Updated 9 months ago
- Python S-expression emulation using tuple-like objects.☆23Updated last month
- Runtime software verification and automated testing for scientific software in Python☆95Updated last year
- Adaptive fuzzing of Hypothesis tests☆98Updated 2 weeks ago
- Combine contracts and automatic testing.☆86Updated 3 years ago
- A corpus of Python programs annotated with contracts☆25Updated last month
- Run pytest on markdown code fence blocks☆74Updated 7 months ago
- Python dependency checker☆263Updated 4 months ago
- Handy decorator for elegant design-by-contract in 3.10+☆102Updated 3 years ago
- z3-powered solver (theorem prover) for deal☆12Updated 2 years ago
- A Datasette plugin that adds UI elements to edit, insert, or delete rows in SQLite tables☆22Updated last week
- Asynchronous Python Jupyter kernel☆90Updated 3 months ago
- Creation & manipulation of PyPI tokens☆12Updated last week
- ☆15Updated 3 years ago
- Contractual Semver☆28Updated 3 years ago
- Straightforward unification in Python that's extensible via generic functions.☆51Updated last month
- Hypothesis strategies for generating Python programs, something like CSmith☆107Updated last year
- A very minimal implementation of the core idea of Hypothesis☆139Updated last year
- Interactive computing in Markdown☆44Updated 2 years ago
- Shape annotations for numpy arrays and pytorch/tensorflow tensors.☆14Updated 3 years ago
- See test results for every line of Python code☆21Updated 4 years ago
- functional programming tools for python☆12Updated 3 years ago
- A python implementation of delta debugging tool.☆25Updated last year
- 🔵 D2: Declarative Diagramming in Python via AnyWidget☆15Updated 3 weeks ago
- Operator overloading for fast anonymous functions.☆50Updated 3 weeks ago
- Datasette plugin for visualizing data using Vega☆61Updated 2 weeks ago
- Utilities for run-time type validation and multiple dispatch☆171Updated 2 weeks ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆71Updated 3 months ago
- Advanced multiple dispatch for Python functions☆383Updated 2 months ago
- can we have dict unpacking in python?☆97Updated last month