DRMacIver / minithesis
A very minimal implementation of the core idea of Hypothesis
☆123Updated 2 months ago
Related projects: ⓘ
- Python library to work with algebraic effects☆66Updated 3 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆94Updated 7 months ago
- Sum Types, aka Tagged Unions, for Python☆42Updated 2 years ago
- Supercharge your Python with parts of Lisp and Haskell.☆88Updated last year
- Is this integer dead or alive?☆45Updated 7 years ago
- ☆17Updated 3 years ago
- Grep Python Abstract Syntax Trees (AST) using XPath☆85Updated last month
- Utilities for run-time type validation and multiple dispatch☆161Updated this week
- A namedtuple-style library for defining immutable sum types in Python.☆27Updated 3 years ago
- Straightforward unification in Python that's extensible via generic functions.☆40Updated 2 weeks ago
- Python type hints are Turing complete.☆29Updated last year
- Intelligently search in Python code☆67Updated 6 months ago
- Shrinkray is a modern multi-format test-case reducer☆86Updated last month
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆224Updated 3 weeks ago
- Algebraic data types for Python (experimental, not actively maintained)☆172Updated 3 years ago
- A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)☆61Updated 2 years ago
- Combine contracts and automatic testing.☆77Updated 2 years ago
- Types for Python☆85Updated 5 years ago
- Contractual Semver☆25Updated 2 years ago
- Semi-Automated Python Proof Assistant☆51Updated this week
- Literal support for Pyrsistent data structures in Python☆127Updated 3 years ago
- Generate arbitrary queries matching your GraphQL schema, and use them to verify your backend implementation.☆43Updated this week
- A Typed, Composable Database Query Language☆104Updated 3 years ago
- RPython by Example (RPyBE) is a collection of runnable examples that illustrate various RPython concepts and libraries.☆15Updated 2 years ago
- Advanced macro expander and language lab for Python.☆56Updated 2 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆9Updated last month
- Type-safe functional tools for Python.☆98Updated last month
- ☆55Updated 7 years ago
- Adaptive fuzzing of Hypothesis tests☆77Updated 7 months ago
- A lightweight python3 library for arithmetic with real numbers.☆34Updated last year