libqt63dquickrender6
Qt 6 3D Quick Renderer library
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.
libginac13
GiNaC symbolic framework runtime library
GiNaC (which stands for "GiNaC is Not a CAS (Computer Algebra System)") is a
library for doing symbolic (i.e. non-numeric) computation directly in the C++
programming language.
coqprime-tools
Primality certification for Coq (tools)
Coqprime consists in:
- a library of facts from number theory
- a library for elliptic curves
- an efficient library for modular arithmetic
- tools to generate Pocklington and elliptic curve
certificates of primality
storm-lang-graphics
Graphics library for Storm
Provides the ability to load various image types to Storm programs.
storm-lang-sound
Sound playback library for Storm
Sound playback library for the Storm language platform. Supports
decoding flac, ogg and mp3 streams.
libgnuradio-limesdr3.0.2
LimeSDR blocks for GnuRadio (runtime library)
LimeSDR is a low cost, open source software defined radio (SDR) platform that
can be used to support just about any type of wireless communication standard.