DRMacIver / minithesisLinks
A very minimal implementation of the core idea of Hypothesis
☆137Updated 10 months ago
Alternatives and similar repositories for minithesis
Users that are interested in minithesis are comparing it to the libraries listed below
Sorting:
- Hypothesis strategies for generating Python programs, something like CSmith☆102Updated last year
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Python library to work with algebraic effects☆74Updated 4 years ago
- Proposed documentation for alloytools.org☆70Updated 6 months ago
- Type-safe functional tools for Python.☆97Updated 9 months ago
- Algebraic data types for Python (experimental, not actively maintained)☆173Updated 4 years ago
- Sum Types, aka Tagged Unions, for Python☆43Updated 3 years ago
- Is this integer dead or alive?☆45Updated 8 years ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- ☆17Updated 4 years ago
- Supercharge your Python with parts of Lisp and Haskell.☆95Updated last month
- Adaptive fuzzing of Hypothesis tests☆88Updated last week
- A namedtuple-style library for defining immutable sum types in Python.☆27Updated 4 years ago
- Straightforward unification in Python that's extensible via generic functions.☆50Updated 9 months ago
- Utilities for run-time type validation and multiple dispatch☆165Updated 3 months ago
- Network protocol implementations in Python, sans I/O☆143Updated 6 months ago
- Literal support for Pyrsistent data structures in Python☆129Updated 4 years ago
- Grep Python Abstract Syntax Trees (AST) using XPath☆96Updated 2 months ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- Types for Python☆87Updated 6 years ago
- Jupyter kernel for TLA⁺☆120Updated 2 years ago
- Python type hints are Turing complete.☆33Updated 2 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 11 months ago
- Freeze your objects in python☆58Updated last month
- Python interpreter for TLA+ specifications☆112Updated last year
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆246Updated 3 weeks ago
- ☆71Updated 4 years ago
- Forward build system with speculation and caching☆106Updated last year
- Functional, composable, asynchronous, type-safe Python.☆150Updated last year
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year