radiance-materials

Lighting Simulation and Rendering System - Materials

Radiance is intended to aid lighting designers and architects by predicting the light levels and appearance of a space prior to construction.

spin

formal software verification tool

Spin is a popular open-source software verification tool, used by thousands of people worldwide. The tool can be used for the formal verification of multi-threaded software applications. The tool was developed at Bell Labs in the Unix group of the Computing Sciences Research Center, starting in 1980.

mapnik-vector-tile

Vector tiles integration with mapnik - development files

This package provides C++ header and source needed to render geodata into vector tiles, and vector tiles into images.

python-flask-openid

OpenID support for Flask applications (Python 2)

Flask-OpenID is an extension to Flask to add OpenID based authentication. It supports OpenID 2.x and has basic support for the Simple Registration (SReg) and Attribute Exchange (AX) extensions.

python-tuskarclient

control how and where OpenStack services are deployed - client

Tuskar gives administrators the ability to control how and where OpenStack services are deployed across the datacenter. Using Tuskar, administrators divide hardware into "resource classes" that allow predictable elastic scaling as cloud demands grow. This resource orchestration allows Tuskar users to ensure SLAs, improve performance, and maximize utilization across the datacenter.

libgnuradio-blocks3.10.5

gnuradio blocks functions

Some non-signal processing blocks. These functions are also in gnuradio-core. Part of the main gnuradio build.