This is the Phobos standard library that comes with the D2 compiler.

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.

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.

This package contains the ViSP (Visual Servoing Platform) blob tracking runtime library.

QGIS is a Geographic Information System (GIS) which manages, analyzes and display databases of geographic information.

This is a PEP 561 type stub package for the toml package. It can be used by type-checking tools like mypy, PyCharm, pytype etc. to check code that uses toml. The source for this package can be found at https://github.com/python/typeshed/tree/master/stubs/toml. All fixes for types and metadata should be contributed there.