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
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆26Updated last year
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆83Updated 3 years ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated last year
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆104Updated last year
• SWI-Prolog / packages-mqi
  Machine Query Interface
  ☆19Updated last month
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆77Updated 3 weeks ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆23Updated 9 months ago
• microsoft / jschema-to-python
  Generate source code for a set of Python classes from a JSON schema.
  ☆37Updated 2 years ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆95Updated this week
• textX / textX-LS
  Language server for domain specific languages based on textX
  ☆40Updated last month
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆67Updated 2 months ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆50Updated 9 months ago
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆29Updated last year
• coady / placeholder
  Operator overloading for fast anonymous functions.
  ☆50Updated last week
• simonw / sqlite-fts4
  Custom Python functions for working with SQLite FTS4
  ☆22Updated 2 years ago
• maximkulkin / hypothesis-regex
  Hypothesis extension to allow generating strings based on regex
  ☆26Updated 6 years ago
• goodmami / pe
  Fastest general-purpose parsing library for Python with a familiar API
  ☆45Updated last week
• evhub / cpyparsing
  Cython PyParsing implementation.
  ☆30Updated 8 months ago
• mishamsk / pyoak
  Library for building and working with arbitrary ASTs on top of dataclasses
  ☆21Updated 7 months ago
• erikrose / pijnu
  Noncanonical (but only existing) repo for the pijnu PEG parser
  ☆24Updated 13 years ago
• nyggus / tracemem
  A lightweight tool to measure the full memory of a Python session
  ☆19Updated 4 months ago
• Zac-HD / stdlib-property-tests
  Property-based tests for the Python standard library (and builtins)
  ☆27Updated 3 years ago
• andrewchambers / ddmin-python
  A python implementation of delta debugging tool.
  ☆25Updated last year
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• Kludex / libcst-mypy
  Type inference provider using mypy for LibCST!
  ☆13Updated 2 years ago