t2y / pytest-quickcheckLinks
☆15Updated 3 years ago
Alternatives and similar repositories for pytest-quickcheck
Users that are interested in pytest-quickcheck are comparing it to the libraries listed below
Sorting:
- z3-powered solver (theorem prover) for deal☆13Updated 2 years ago
- Advanced macro expander and language lab for Python.☆70Updated 9 months ago
- Tagged union types and immutable records (product types) in Python☆11Updated 8 years ago
- A command-line utility for pulling code blocks out of markdown files.☆15Updated 4 years ago
- Strong Type Hints with Traits☆11Updated 5 years ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Updated 3 years ago
- Supercharge your Python with parts of Lisp and Haskell.☆101Updated this week
- Python functional programming☆29Updated 3 weeks ago
- Python statecharts☆60Updated last year
- transducer library for python, inspired by clojure☆10Updated 5 years ago
- Python library to work with algebraic effects☆80Updated 5 years ago
- Hypothesis extension to allow generating strings based on regex☆26Updated 7 years ago
- Back pressure strategies for use with RxPy☆14Updated 6 years ago
- Programmable, human-readable inlining of Python code☆28Updated 3 years ago
- HTML representation for Python objects.☆17Updated 9 months ago
- Exactly - tests a command line program by executing it in a temporary sandbox directory and inspecting its result.☆38Updated last year
- Python bindings for dhall, a functional configuration language☆48Updated last year
- Combine contracts and automatic testing.☆86Updated 3 years ago
- Extract code blocks from Markdown files☆89Updated 2 weeks ago
- Pure python readline - works on Python 2, Python 3, PyPy 2, PyPy 3☆35Updated 2 years ago
- Mypy language server: runs mypy on Python code to provide type checking, go to definition, and hover.☆34Updated 4 years ago
- Syntax tree visualizer for tree-sitter☆21Updated 2 years ago
- Python S-expression emulation using tuple-like objects.☆25Updated 3 months ago
- A namedtuple-style library for defining immutable sum types in Python.☆27Updated 4 years ago
- The Pyodide blog☆20Updated last month
- The Stratego program transformation language☆35Updated 9 months ago
- A collection of macro benchmarks for the Python programming language☆27Updated last year
- A system to Instrument running Python code☆25Updated 7 months ago
- Visualizing the scope history of your Trio project☆12Updated 4 years ago
- A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)☆71Updated 2 months ago