automated theorem prover for SMT problems (development files)

C++ library for computer vision, image, and video processing - devel files

ANSI C implementation of dynamic arrays (development files)

VirusTotal C API library (development)

Morse code tutor - development files

high-level terminal interface library for C++ (development files)

Development files for libcxl

Lightweight C++ option parser library

Cross-platform, Serial Port library written in C++ (devel)

library of unrelated but useful C++ classes (development files)

library to read and write YAML documents (development files)

High-level C binding for ZeroMQ (development files)

state-tracker for Direct3D9 -- development files

lightweight C library for daemons - development files

Development files (headers and static libraries) for libdap

Disk ARchive: Development files for shared library

Dashel Library development files

Simple RDF for C++ and Qt applications (development files)

Development files for double-array trie library

fast and small AV1 video stream decoder (development files)

C++ library for DAWG dictionaries

Utility library for managing the device DAX subsystem

Development files for libdaxctl

feature-filled library for GTK+ and GObject - development files

Berkeley v5.3 Database Libraries [development]

Berkeley v5.3 Database Libraries for C++ [development]

Berkeley Database Libraries [development]

DB Independent Abstraction Layer for C -- development files

simple interprocess messaging system (development headers)

Ada bindings to the D-Bus message bus system

C++ API for D-Bus (development package)

header-only dbus-binding leveraging C++-11 (development files)

Extended DBus interface for Qt (development files)

GNUstep framework that interfaces with D-Bus (development files)

library for passing menus over DBus - development files

library for passing menus over DBus - GTK-3+ version development files

library for passing menus over DBus - Test lib development files

Qt implementation of the DBusMenu protocol (development)

Runs tests under a new DBus session (development files)

high level programming interface for IEEE 1394 digital cameras - development

decoding library for DTS Coherent Acoustics streams (development)

OFFIS DICOM toolkit development libraries and headers

simple configuration storage system - development files

Containers backed by Phobos' experimental allocators

development files for ddccontrol

Control monitor settings - development files

DDE network utilities library (development files)

Datadog OpenTracing C++ Client (headers)

bridge double dummy solver - development

Open H.265 video codec implementation - development files