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
  ☆21Updated 2 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆27Updated last year
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆83Updated 3 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆21Updated 2 years ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆91Updated this week
• 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
  ☆102Updated last year
• goodmami / pe
  Fastest general-purpose parsing library for Python with a familiar API
  ☆44Updated 4 months ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• simonw / sqlite-fts4
  Custom Python functions for working with SQLite FTS4
  ☆22Updated 2 years ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 2 weeks ago
• ligurio / lark-grammars
  Grammars suitable for lark parser and Hypothesis
  ☆47Updated last year
• nyggus / tracemem
  A lightweight tool to measure the full memory of a Python session
  ☆19Updated 3 months ago
• andrewchambers / ddmin-python
  A python implementation of delta debugging tool.
  ☆25Updated last year
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆67Updated last month
• maximkulkin / hypothesis-regex
  Hypothesis extension to allow generating strings based on regex
  ☆26Updated 6 years ago
• Zac-HD / stdlib-property-tests
  Property-based tests for the Python standard library (and builtins)
  ☆27Updated 3 years ago
• gaphor / generic
  Generic programming library for Python
  ☆61Updated this week
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆50Updated 9 months ago
• smacke / pyccolo
  Declarative instrumentation for Python.
  ☆90Updated last month
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• alexmojaki / friendly_states
  Declarative, explicit, tool-friendly finite state machines in Python
  ☆23Updated 5 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• kavigupta / ast_scope
  Annotator that adds scope information to an ast
  ☆25Updated 3 weeks ago
• StefanUlbrich / design-by-contract
  Handy decorator for elegant design-by-contract in 3.10+
  ☆101Updated 2 years ago
• coady / placeholder
  Operator overloading for fast anonymous functions.
  ☆50Updated 3 months ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆29Updated 5 years ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• langfield / asta
  Shape annotations for numpy arrays and pytorch/tensorflow tensors.
  ☆13Updated 2 years ago
• SWI-Prolog / packages-mqi
  Machine Query Interface
  ☆19Updated last month