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.