libgeocode-glib-2-0

geocoding and reverse geocoding GLib library using Nominatim

Geocode-glib allows you to do geocoding (going from a place name, to a longitude/latitude pair) and reverse geocoding (finding a place name from coordinates) using the Nominatim service.

python3-oslo.metrics

OpenStack Oslo Metrics API - Python 3.x

This Oslo metrics API supports collecting metrics data from other Oslo libraries and exposing the metrics data to monitoring system.

python3-orjson

JSON parsing Python library

Fast, correct Python JSON library supporting dataclasses, datetimes, and numpy orjson is a fast, correct JSON library for Python. It benchmarks as the fastest Python library for JSON and is more correct than the standard json library or other third-party libraries. It serializes dataclass, datetime, numpy, and UUID instances natively.

gir1.2-geocodeglib-2.0

introspection data for geocode-glib library

Geocode-glib allows you to do geocoding (going from a place name, to a longitude/latitude pair) and reverse geocoding (finding a place name from coordinates) using the Nominatim service.

gir1.2-rest-1.0

REST service access library (introspection files)

This library was designed to make it easier to access web services that claim to be "RESTful". It includes convenience wrappers for libsoup and libxml to ease remote use of the RESTful API.

libcoq-mathcomp-classical

classical logic extension for Mathematical Components

This package provides an extension for work with classical logic within the Coq proof-assistant using the Mathematical Components library.