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.