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.