Python tool for automatically wrapping a multi-module Python library into a single portable module file.
Python library that serves as an API for common primitives used to implement OPRF and OT protocols.
Embedded domain-specific combinator library for assembling abstract definitions of logic circuits.
Python library for choosing and loading dynamic library files compatible with the operating environment.
Python library for generating and embedding in a compactway random but reproducible data for unit testing.
Minimal Python library for working with bit vectors natively.
Minimal Python library that provides common functions related to partitioning lists.
Native Python implementation of Ed25519 group elements and operations.
Native Python implementation of Ed25519 field elements and operations.
Minimal native Python library for building and working with logical circuits.
Python library for working with circuit definitions represented using the Bristol Fashion.
Thin MapReduce-like layer on top of the Python multiprocessing library.
Library for working with regular expressions as abstract mathematical objects.
Python library for building and working with propositional formulas.
Python library for common functionalities related to flattening built-in container types.
Generators that enumerate discrete spaces using various strategies.
Library to enumerate all natural number lists with a target sum.
Easy-to-import Python module with a basic, efficient, native implementation of the extended Euclidean algorithm.
Pure Python library for working with modular arithmetic, congruence classes, and finite fields.
Python library with a minimal native implementation of Shamir's Secret Sharing algorithm.
Python library with a basic native implementation of Lagrange interpolation over finite fields.
Python library encapsulating the set of all primes as an indexed collection (optimized for small primes).
Efficient native Python implementation of the integer square root function.
Cross-platform embedded representation for algebraic data types, values, and common operations.
Library for performing queries and transformations on GeoJSON data (with emphasis on support for abstract graph representations).
Python library to quickly build a standalone HTML file with a Leaflet visualization of a GeoJSON object.
Language for rapid assembly, querying, and interactive visual rendering of diagrams and common, abstract mathematical structures.
Common functionalities for building Data Mechanics platform components.
Python library for building embedded languages within Python that have alternative operational semantics and abstract interpretations..