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.

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-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.

ocaml-merlin

editor service to develop in OCaml (common files)

This package provides an editor service for advanced integrated development environment (IDE) in the OCaml language both for the vim and emacs editors.

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.