libbrial3

polynomials over Boolean Rings, shared library

The core of BRiAl is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as internal storage type for polynomial structures. On top of this C++-library a Python interface is provided. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Groebner base computation. BRiAl features a powerful reference implementation for Groebner basis computation.

python3-brial

polynomials over Boolean Rings, Python 3 module

The core of BRiAl is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as internal storage type for polynomial structures. On top of this C++-library a Python interface is provided. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Groebner base computation. BRiAl features a powerful reference implementation for Groebner basis computation.

libring-json-clojure

ring middleware functions for handling JSON requests and responses

This package contains the Standard Ring middleware functions for handling JSON requests and responses.

libtrapperkeeper-comidi-metrics-clojure

ring middleware to automatically track metrics for requests

trapperkeeper-comidi-metrics is a library that provides Ring middleware to automatically track metrics for requests to all of your comidi HTTP routes.

libring-basic-authentication-clojure

ring middleware to enforce basic authentication

Ring middleware to enforce basic authentication as described in RFC2617 section 2.

librte-mempool-ring21

Data Plane Development Kit (librte-mempool-ring runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.