Python library that transforms any string parser into a parser that skips lines containing syntax errors.

Library that supports the construction of human-readable, interactive static analysis reports that consist of decorated concrete syntax representations of programs.

Pure-Python implementation of a Pratt certificate verifier.

Python decorator for including/removing type checks, value/bounds checks, and other code blocks within the compiled bytecode of functions and methods.

Python library for generating and concisely specifying reproducible pseudorandom binary data for unit testing.

Minimal pure Python library for building and working with logical circuits.

Data set of optimal circuits for Boolean functions that have low arity.

Callable subclass of the tuple type for representing logical operators/connectives based on their truth tables.

Subclass of the built-in function type for representing algebraic operators (that are typically associated with algebraic structures and algebraic circuits) as immutable, hashable, sortable, and callable objects.

Extensible table data structure that supports the introduction of user-defined workflow combinators and the use of these combinators in concise workflow descriptions.