acheck-rules
Basic rules for acheck
acheck, any text file checker, is a tool designed to help both translators and
reviewers checking and fixing common localisation mistakes according to file
format. Rules can be defined to add new checks.
rabbitmq-server
AMQP server written in Erlang
RabbitMQ is an implementation of AMQP, the emerging standard for high
performance enterprise messaging. The RabbitMQ server is a robust and
scalable implementation of an AMQP broker.
python3-ezdxf
python module to create and modify DXF drawings (Python 3)
ezdxf is a module for manipulating DXF files. It can be used to create
new DXF files, or to read/write/modify existing DXF files.
cockpit-ws
Cockpit Web Service
The Cockpit Web Service listens on the network, and authenticates
users.
libeclipse-wst-xsd-core-java
Eclipse Web Tools Platform - XSD Core Plugin
The Eclipse Web Tools Platform (WTP) project extends the Eclipse platform with
tools for developing Web and Java EE applications. It includes source and
graphical editors for a variety of languages, wizards and built-in applications
to simplify development, and tools and APIs to support deploying, running, and
testing apps.
libcoq-reduction-effects
reduction effects for Coq
This plugin adds reduction side effects to some
of the Coq reduction strategies.