mristin / python-by-contract-corpus
A corpus of Python programs annotated with contracts
☆20Updated 2 years ago
Related projects: ⓘ
- Advanced macro expander and language lab for Python.☆56Updated 2 years ago
- See test results for every line of Python code☆21Updated 3 years ago
- Translate Python's bytecode to data and back again...☆18Updated 3 weeks ago
- Operator overloading for fast anonymous functions.☆49Updated this week
- Custom Python functions for working with SQLite FTS4☆21Updated 2 years ago
- A graph query engine☆10Updated 4 months ago
- Shape annotations for numpy arrays and pytorch/tensorflow tensors.☆14Updated 2 years ago
- Combine contracts and automatic testing.☆77Updated 2 years ago
- Logic Programming in Python☆30Updated 2 years ago
- Library for building and working with arbitrary ASTs on top dataclasses☆20Updated 5 months ago
- Fastest general-purpose parsing library for Python with a familiar API☆42Updated last week
- Declarative instrumentation for Python.☆86Updated 3 weeks ago
- pylog: an implementation of Prolog features in Python☆34Updated last year
- Handy decorator for elegant design-by-contract in 3.10+☆102Updated 2 years ago
- Utilities for run-time type validation and multiple dispatch☆161Updated this week
- Cython PyParsing implementation.☆30Updated 3 months ago
- Extract semantic information about static Python code☆69Updated 2 months ago
- User-friendly data frame and data grammar library for Python☆14Updated last month
- Declarative, explicit, tool-friendly finite state machines in Python☆21Updated 4 years ago
- Python async data processing microframework☆32Updated 5 months ago
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Updated 3 months ago
- EPython is a typed-subset of the Python for extending the language new builtin types and methods☆40Updated 2 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆94Updated 7 months ago
- Domain Specific Languages in Python☆97Updated 9 months ago
- A Dag IO framework☆12Updated last month
- Ultra-simple human readable DSL for matching text.☆7Updated 7 years ago
- 🗿 Straightforward CLI parsing and dispatching microframework☆21Updated last year
- Supercharge your Python with parts of Lisp and Haskell.☆88Updated last year
- python decorators made easy.☆24Updated 3 months ago
- A slightly opinionated iPython profile for interactive development☆24Updated 2 years ago