libcsfml-window2.6
Libraries for the C Binding of SFML - Window Part
SFML is a modern multimedia library offering a wide range of subsystems
useful to produce a multimedia app. It offers OpenGL integration for
Hardware accelerated Graphics, Windowing and Input support, Audio and
Network facilities and supports GNU/Linux, MS Windows and Mac OS X.
CSFML provides the bindings needed to use SFML with the C programming
language.
libdrumstick-alsa2t64
Qt6/C++ wrapper for ALSA Sequencer (shared library)
This library is a C++ wrapper around the ALSA library sequencer interface,
using Qt6 objects, idioms and style. ALSA sequencer provides software support
for MIDI technology on Linux. Complementary classes for RMI and WRK file
processing are also included.
libdrumstick-file2t64
File format support library for drumstick (shared library)
This library is a C++ wrapper around the ALSA library sequencer interface,
using Qt6 objects, idioms and style. ALSA sequencer provides software support
for MIDI technology on Linux. Complementary classes for RMI and WRK file
processing are also included.
libdrumstick-rt2t64
Realtime MIDI I/O with pluggable backends (shared library)
This library is a C++ wrapper around the ALSA library sequencer interface,
using Qt6 objects, idioms and style. ALSA sequencer provides software support
for MIDI technology on Linux. Complementary classes for RMI and WRK file
processing are also included.
libdrumstick-widgets2t64
Qt6/C++ wrapper for ALSA Sequencer (widgets)
This library is a C++ wrapper around the ALSA library sequencer interface,
using Qt6 objects, idioms and style. ALSA sequencer provides software support
for MIDI technology on Linux. Complementary classes for RMI and WRK file
processing are also included.
coq-serapi
interaction with Coq (utils)
SerAPI provides a library for machine-to-machine
interaction with Coq with particular emphasis on
integrated development environments, code analysis tools
and machine learning.