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
  ☆25Updated 11 months ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• goodmami / pe
  Fastest general-purpose parsing library for Python with a familiar API
  ☆44Updated 3 months ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆50Updated 8 months ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• SWI-Prolog / packages-mqi
  Machine Query Interface
  ☆19Updated 2 weeks ago
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆80Updated 2 years ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆87Updated this week
• andrewchambers / ddmin-python
  A python implementation of delta debugging tool.
  ☆25Updated last year
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆65Updated last month
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated 2 years ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆102Updated last year
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated last year
• coady / placeholder
  Operator overloading for fast anonymous functions.
  ☆50Updated 2 months ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• simonw / sqlite-fts4
  Custom Python functions for working with SQLite FTS4
  ☆22Updated 2 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated 8 months ago
• ligurio / lark-grammars
  Grammars suitable for lark parser and Hypothesis
  ☆46Updated last year
• RussAbbott / pylog
  pylog: an implementation of Prolog features in Python
  ☆36Updated 4 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• tyche-pbt / tyche-extension
  ☆16Updated 3 weeks ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆75Updated 2 months ago
• Kludex / libcst-mypy
  Type inference provider using mypy for LibCST!
  ☆13Updated 2 years ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated last week
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• RAbraham / mercylog
  Datalog based relational programming in Python.
  ☆15Updated 2 years ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆75Updated this week
• cozodb / pycozo
  The Python client and Jupyter helper for CozoDB
  ☆56Updated 6 months ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago