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

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

Pure-Python library that enables generation and verification of Pratt certificates for prime numbers.

Embedded domain-specific library for implicitly and explicitly encoding functions as matrices that operate on domains of one-hot vectors.

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.

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.