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.