bluebrain-hpc-coding-conventions
BlueBrain HPC Team C++ Development Guidelines
This package contains tools and processes required to ensure the
C++ development guidelines adopted by the BlueBrain HPC team
are followed. It also contains their documentation.
python3-flask-appbuilder
simple and rapid application development framework (Python 3)
Simple and rapid application development framework, built on top of Flask.
includes detailed security, auto CRUD generation for your models, google
charts and much more. Extensive configuration of all functionality, easily
integrate with normal Flask/Jinja2 development.
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.
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.
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.