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.