markshannon / python_formal_semanticsLinks
☆17Updated 4 years ago
Alternatives and similar repositories for python_formal_semantics
Users that are interested in python_formal_semantics are comparing it to the libraries listed below
Sorting:
- A command-line utility for pulling code blocks out of markdown files.☆14Updated 3 years ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Updated 5 years ago
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- Property-based tests for the Python standard library (and builtins)☆27Updated 3 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆102Updated last year
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 13 years ago
- Rust-like macros in Python by abusing type annotations☆63Updated 5 years ago
- Example repo showing how to build wheels with cibuildwheel and automatically upload to PyPI on every tag☆15Updated 3 years ago
- Partial evaluation of Python code☆21Updated 2 years ago
- Extract semantic information about static Python code☆77Updated 2 weeks ago
- A very minimal implementation of the core idea of Hypothesis☆137Updated 11 months ago
- Generate fast JSON parsers based on type stubs☆12Updated 5 years ago
- A pygments lexer for pytest output☆24Updated last year
- Level-up your Hypothesis tests with CrossHair☆13Updated last week
- RPython by Example (RPyBE) is a collection of runnable examples that illustrate various RPython concepts and libraries.☆15Updated 3 years ago
- Parse protocols, without any I/O☆48Updated 7 years ago
- Pure python readline - works on Python 2, Python 3, PyPy 2, PyPy 3☆34Updated last year
- Tagged union types and immutable records (product types) in Python☆11Updated 8 years ago
- An experiment to use infix operators in Python☆57Updated 6 years ago
- A wrapper around the stdlib `tokenize` which roundtrips.☆55Updated this week
- ☆16Updated 3 years ago
- Adaptive fuzzing of Hypothesis tests☆91Updated this week
- Backwards compatible callback APIs☆19Updated 4 years ago
- Visualizing the scope history of your Trio project☆11Updated 3 years ago
- z3-powered solver (theorem prover) for deal☆12Updated last year
- Python subsets☆41Updated 8 years ago
- A rust port of Python stdlib's graphlib☆26Updated 2 years ago
- Macros in Python: quasiquotes, case classes, LINQ and more!☆29Updated 5 years ago
- Python library to work with algebraic effects☆74Updated 4 years ago
- Docker image for building PyPy manylinux wheels☆17Updated 3 years ago