Alternatives and similar repositories for hypothesis-crosshair

Users that are interested in hypothesis-crosshair are comparing it to the libraries listed below

• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆22Updated 2 years ago
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆84Updated 3 years ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆95Updated 2 weeks ago
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆67Updated 3 months ago
• SWI-Prolog / packages-mqi
  Machine Query Interface
  ☆19Updated 3 weeks ago
• maximkulkin / hypothesis-regex
  Hypothesis extension to allow generating strings based on regex
  ☆26Updated 6 years ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated last year
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆105Updated last year
• coady / placeholder
  Operator overloading for fast anonymous functions.
  ☆50Updated last month
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• microsoft / jschema-to-python
  Generate source code for a set of Python classes from a JSON schema.
  ☆37Updated 2 years ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆77Updated last month
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆49Updated 10 months ago
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆97Updated last year
• Kludex / libcst-mypy
  Type inference provider using mypy for LibCST!
  ☆13Updated 2 years ago
• ligurio / lark-grammars
  Grammars suitable for lark parser and Hypothesis
  ☆48Updated last year
• RAbraham / mercylog
  Datalog based relational programming in Python.
  ☆15Updated 2 years ago
• paysure / orinoco
  Functional composable pipelines allowing clean separation of the business logic and its implementation
  ☆11Updated last year
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• andrewchambers / ddmin-python
  A python implementation of delta debugging tool.
  ☆25Updated last year
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated this week
• sevazhidkov / ipython-profile
  A slightly opinionated iPython profile for interactive development
  ☆23Updated 3 years ago
• Technologicat / unpythonic
  Supercharge your Python with parts of Lisp and Haskell.
  ☆96Updated 3 months ago
• pckroon / hypothesis-networkx
  Hypothesis strategy to generate NetworkX graphs.
  ☆19Updated last year
• smacke / pyccolo
  Declarative instrumentation for Python.
  ☆90Updated 3 months ago
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆105Updated 6 months ago
• 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+
  ☆101Updated 2 years ago
• goodmami / pe
  Fastest general-purpose parsing library for Python with a familiar API
  ☆45Updated last month