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:
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Updated 5 years ago
- A command-line utility for pulling code blocks out of markdown files.☆14Updated 3 years ago
- Partial evaluation of Python code☆22Updated 2 years ago
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆104Updated last year
- Generate fast JSON parsers based on type stubs☆12Updated 5 years ago
- Macros in Python: quasiquotes, case classes, LINQ and more!☆29Updated 5 years ago
- Extract semantic information about static Python code☆77Updated 3 weeks ago
- A pygments lexer for pytest output☆23Updated last year
- Victor Stinner's Notes☆21Updated last month
- Python type hints are Turing complete.☆33Updated 2 years ago
- ☆16Updated 4 years ago
- Tagged union types and immutable records (product types) in Python☆11Updated 8 years ago
- A pytest plugin that allows for the testing of C extension modules for Python, specifically created through cython☆20Updated last month
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 13 years ago
- EPIC CUCUMBERS!☆28Updated 7 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated 8 months ago
- Rust-like macros in Python by abusing type annotations☆63Updated 5 years ago
- Python library to work with algebraic effects☆74Updated 4 years ago
- 🔪🧀 API for creating and inspecting Python .whl files (wheels)☆28Updated 7 months ago
- Python S-expression emulation using tuple-like objects.☆23Updated 9 months ago
- Put all the objections to PEP 622 in one place.☆32Updated 4 years ago
- Property-based tests for the Python standard library (and builtins)☆27Updated 3 years ago
- Miscellaneous extensions to Trio, the friendly Python async I/O library☆27Updated 10 months ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Python subsets☆41Updated 8 years ago
- ☆11Updated 3 years ago
- RPython by Example (RPyBE) is a collection of runnable examples that illustrate various RPython concepts and libraries.☆15Updated 3 years ago
- Example repo showing how to build wheels with cibuildwheel and automatically upload to PyPI on every tag☆15Updated 3 years ago
- Python term rewriting☆29Updated 12 years ago