libcsvjdbc-java

read-only JDBC driver that uses CSV or DBF files as database tables

CsvJdbc is a read-only JDBC driver that uses Comma Separated Value (CSV) files or DBF files as database tables. It is ideal for writing data import programs or analyzing log files.

libkf5akonadicontact5

Akonadi contacts access library

This library provides contacts manipulation helpers using the Akonadi PIM data server.

libgaminggear0

Functionalities for gaming input devices

Libgaminggear0 contains needed functionalities for roccat-tools that are not vendor specific and therefore might be useful for similar software. It contains some GUI elements for unifying look and feel of such type of software up to a complete macro editor with multi vendor import/export functionality. It also contains software macro playback functionality and audio/screen notifications.

dafny

programming language with program correctness verifier

Dafny is a programming language with a program verifier. The verifier processes function preconditions, postconditions, and assertions, and sends them to an SMT solver for checking. In this way, assertion failures become compiler errors, rather than runtime ones.

cpants-lint

commandline frontend to Module::CPANTS::Analyse - tool

cpants_lint checks the Kwalitee of a CPAN distribution. More exact, it checks how a given tarball will be rated on <http://cpants.perl.org>, without needing to upload it first.

xrsh

remote execution of XWindow programs

Xrsh is designed to allow you to start an X client on a remote machine with the window displayed on the current server's $DISPLAY. It has many options that give you the ability to propagate environment variables (including DISPLAY) to the remote system and works with various types of X server access control including xauth and xhost. Xrlogin opens a local xterm window and runs rlogin (or optionally telnet) to connect to a remote machine.