Reity
Pinned Loading
Repositories
- pratts Public
Pure-Python library that enables generation and verification of Pratt certificates for prime numbers.
- matricity Public
Embedded domain-specific library for implicitly and explicitly encoding functions as matrices that operate on domains of one-hot vectors.
- parsial Public
Python library that transforms any string parser into a parser that skips lines containing syntax errors.
- richreports-py Public
Library that supports the construction of human-readable, interactive static analysis reports that consist of decorated concrete syntax representations of programs.
- barriers Public
Python decorator for including/removing type checks, value/bounds checks, and other code blocks within the compiled bytecode of functions and methods.
- fountains Public
Python library for generating and concisely specifying reproducible pseudorandom binary data for unit testing.
- logical Public
Callable subclass of the tuple type for representing logical operators/connectives based on their truth tables.
- algebraical Public
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.
