DRMacIver / minithesisLinks
A very minimal implementation of the core idea of Hypothesis
☆138Updated last year
Alternatives and similar repositories for minithesis
Users that are interested in minithesis are comparing it to the libraries listed below
Sorting:
- Python library to work with algebraic effects☆80Updated 4 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆106Updated last year
- Sum Types, aka Tagged Unions, for Python☆44Updated 3 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- ☆17Updated 4 years ago
- Algebraic data types for Python (experimental, not actively maintained)☆172Updated 4 years ago
- Supercharge your Python with parts of Lisp and Haskell.☆99Updated 5 months ago
- Is this integer dead or alive?☆45Updated 8 years ago
- Adaptive fuzzing of Hypothesis tests☆97Updated last week
- Proposed documentation for alloytools.org☆71Updated 3 weeks ago
- Type-safe functional tools for Python.☆97Updated last year
- A namedtuple-style library for defining immutable sum types in Python.☆27Updated 4 years ago
- Types for Python☆87Updated 6 years ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆251Updated this week
- Literal support for Pyrsistent data structures in Python☆130Updated 4 years ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- Functional, composable, asynchronous, type-safe Python.☆154Updated last year
- A language for describing Python programs with concise higher-order annotations like "(a -> a) -> [a] -> [a]" but don't you dare call the…☆59Updated 12 years ago
- Straightforward unification in Python that's extensible via generic functions.☆50Updated last month
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- A python lens library for manipulating deeply nested immutable structures☆327Updated last year
- a language for building system dynamic models☆167Updated 5 months ago
- Combine contracts and automatic testing.☆85Updated 3 years ago
- Advanced macro expander and language lab for Python.☆69Updated 5 months ago
- A pure Python implementation of parser combinators with asymptotically best performance and support for context-sensitive or ambiguous gr…☆90Updated 5 years ago
- Python interpreter for TLA+ specifications☆113Updated last year
- Python type hints are Turing complete.☆33Updated 2 years ago
- Easy and elegant parser combinators for Python. With awesome docs.☆408Updated 3 weeks ago
- Python typing koans to learn type-hints in Python3 using Mypy☆119Updated 3 years ago