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.