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

• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆86Updated 3 years ago
• smacke / pyccolo
  Declarative instrumentation for Python.
  ☆102Updated 2 weeks ago
• Kludex / libcst-mypy
  Type inference provider using mypy for LibCST!
  ☆13Updated 2 years ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆110Updated last year
• treebeardtech / pytest-deepcov
  See test results for every line of Python code
  ☆21Updated 4 years ago
• StefanUlbrich / design-by-contract
  Handy decorator for elegant design-by-contract in 3.10+
  ☆102Updated 3 years ago
• tonybaloney / spew
  A tool for generating random, syntactically-correct Python code. Designed for fuzzing and testing of tools that parse Python code.
  ☆23Updated 2 years ago
• Crunch-io / diagnose
  A system to Instrument running Python code
  ☆25Updated 7 months ago
• hgrecco / stringparser
  Easy to use pattern matching and information extraction for Python
  ☆41Updated 2 years ago
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆70Updated 9 months ago
• elliterate / xpath.py
  Python library for generating XPath expressions
  ☆19Updated 2 years ago
• Julian / regret
  You made a thing, but now you wish it'd go away... Deprecations, a love story.
  ☆14Updated 2 weeks ago
• erezsh / runtype
  Utilities for run-time type validation and multiple dispatch
  ☆172Updated 2 months ago
• lewiuberg / visual-automata
  Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.
  ☆57Updated 2 years ago
• monomonedula / nvelope
  Define your JSON schema as Python dataclasses
  ☆61Updated 2 years ago
• emmatyping / python-typecheckers
  A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)
  ☆71Updated 2 months ago
• coady / placeholder
  Operator overloading for fast anonymous functions.
  ☆50Updated this week
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆97Updated 2 years ago
• ligurio / lark-grammars
  Grammars suitable for lark parser and Hypothesis
  ☆54Updated last year
• Jflick58 / wasm_exec
  WASM-powered sandbox implementation of exec() for safely running dynamic Python code
  ☆37Updated 2 years ago
• typilus / typilus-action
  A GitHub Action for suggesting Python type annotations.
  ☆42Updated 2 years ago
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆192Updated 3 weeks ago
• sourcery-ai / sourcery-rules-generator
  ☆30Updated 2 years ago
• mwshinn / paranoidscientist
  Runtime software verification and automated testing for scientific software in Python
  ☆94Updated last year
• mristin / fastapi-icontract
  Specify contracts for FastAPI endpoints.
  ☆26Updated 4 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• devopspp / pyliveupdate
  A runtime python code manipulation framework for profiling, debugging and bugfixing
  ☆65Updated 3 years ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 4 years ago
• JohnMcCambridge / flenser
  Flenser is a simple, minimal, automated exploratory data analysis tool.
  ☆78Updated 9 months ago
• tonybaloney / pyinline
  ☆27Updated 4 years ago