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.