librsvg2-tests

automated tests for RSVG library

The rsvg library is an efficient renderer for Scalable Vector Graphics (SVG) pictures.

libcalcium0

C library for exact computation with numbers, shared library

Calcium is capable of rigourosly deciding the truth of any constant relationship involving algebraic numbers and many relations involving transcendental numbers.

libjose4j-java

implementation of JSON Web Token (JWT) and the JOSE specification suite

The jose.4.j library is a robust and easy to use open source implementation of JSON Web Token (JWT) and the JOSE specification suite (JWS, JWE, and JWK). It is written in Java and relies solely on the JCA APIs for cryptography. Please see https://bitbucket.org/b_c/jose4j/wiki/Home for more info, examples, etc.

cl-global-vars

efficient global variables in Common Lisp

In Common Lisp, a special variable that is never dynamically bound typically serves as a stand-in for a global variable. This library provides true global variables that are implemented by some compilers. An attempt to rebind a global variable properly results in a compiler error. That is, a global variable cannot be dynamically bound.

qml-module-lomiri-notifications

Lomiri Notifications - QML module

Lomiri's implementation of a Free Desktop Notification server. It also provides some additional features as needed on alternative platforms, such as mobile.

libcoq-mathcomp-zify

Micromega arithmetic solvers for Mathematical Components

This package enables the use of the micromega arithmetic solvers of Coq for goals stated with the Mathematical Components library, by extending the zify tactic.