DRMacIver / minithesis
A very minimal implementation of the core idea of Hypothesis
☆134Updated 8 months ago
Alternatives and similar repositories for minithesis:
Users that are interested in minithesis are comparing it to the libraries listed below
- Hypothesis strategies for generating Python programs, something like CSmith☆99Updated last year
- Python library to work with algebraic effects☆72Updated 4 years ago
- Supercharge your Python with parts of Lisp and Haskell.☆93Updated 5 months ago
- Proposed documentation for alloytools.org☆71Updated 4 months ago
- Sum Types, aka Tagged Unions, for Python☆43Updated 3 years ago
- Type-safe functional tools for Python.☆96Updated 7 months ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- Is this integer dead or alive?☆45Updated 8 years ago
- A namedtuple-style library for defining immutable sum types in Python.☆27Updated 3 years ago
- ☆17Updated 4 years ago
- A script for running TLA+/TLC from the command line☆81Updated 3 years ago
- Python type hints are Turing complete.☆33Updated 2 years ago
- Shrinkray is a modern multi-format test-case reducer☆256Updated this week
- Grep Python Abstract Syntax Trees (AST) using XPath☆93Updated 2 months ago
- Straightforward unification in Python that's extensible via generic functions.☆48Updated 6 months ago
- Contractual Semver☆26Updated 2 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆10Updated 5 months ago
- Intelligently search in Python code☆67Updated last year
- Algebraic data types for Python (experimental, not actively maintained)☆172Updated 3 years ago
- Freeze your objects in python☆58Updated 4 months ago
- Utilities for run-time type validation and multiple dispatch☆164Updated last week
- Adaptive fuzzing of Hypothesis tests☆85Updated last week
- Types for Python☆87Updated 6 years ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆241Updated this week
- Literal support for Pyrsistent data structures in Python☆129Updated 3 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated 3 months ago
- Network protocol implementations in Python, sans I/O☆140Updated 3 months ago
- Combine contracts and automatic testing.☆79Updated 2 years ago
- A Python type checker☆357Updated 2 weeks ago
- ☆123Updated 2 years ago