libwt40

C++ library and application server for web applications [runtime]

tesseract-ocr-hye

tesseract-ocr language files for Armenian

Tesseract is an open source Optical Character Recognition (OCR) Engine. It can be used directly, or (for programmers) using an API to extract printed text from images. This package contains the data needed for processing images in Armenian language.

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.