maude

high-performance logical framework

Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. Maude has been influenced in important ways by the OBJ3 language, which can be regarded as an equational logic sublanguage. Besides supporting equational specification and programming, Maude also supports rewriting logic computation.

python3-neutron-dynamic-routing

OpenStack Neutron Dynamic Routing - Python library

Neutron provides an API to dynamically request and configure virtual networks. These networks connect "interfaces" from other OpenStack services (such as vNICs from Nova VMs). The Neutron API supports extensions to provide advanced network capabilities, including QoS, ACLs, and network monitoring.

python3-pylama

code audit library for Python in Python3

pylama s a code audit tool for Python and JavaScript. It wraps the following tools: * PEP8 © 2012-2013, Florent Xicluna; * PEP257 © 2012, GreenSteam, <http://greensteam.dk/> * PyFlakes © 2005-2013, Kevin Watters; * Mccabe © Ned Batchelder; * Pylint © 2013, Logilab (should be installed 'pylama_pylint' module); * gjslint © The Closure Linter Authors (should be installed 'pylama_gjslint' module);

libjs-prefix-free

manage CSS3 browser prefixes client-side

-prefix-free lets you use only unprefixed CSS properties everywhere. It works behind the scenes, adding the current browser’s prefix to any CSS code, only when it’s needed.

plopfolio.app

Personal dashboard for GNUstep

This is a free replacement of Serence's proprietary KlipFolio application. PlopFolio supports Klips from KlipFarm (http://klipfarm.com), which is no longer available. PlopFolio is developed using the Objective-C language and works well with GNUstep (on GNU/Linux, FreeBSD, and more) and Cocoa on Mac OS X.

python3-networking-bagpipe

OpenStack virtual network service - BGP-based VPN - Python 3.x

Neutron provides an API to dynamically request and configure virtual networks. These networks connect "interfaces" from other OpenStack services (such as vNICs from Nova VMs). The Neutron API supports extensions to provide advanced network capabilities, including QoS, ACLs, and network monitoring.