libmgl-qt5-7.6.0
library for scientific graphs (Qt interface for windows)
libgo22-sparc64-cross
Runtime library for GNU Go applications
libvisp-core3.6
visual servoing platform core library
libmgl-wnd7.6.0
library for scientific graphs (windows runtime library)
libgnat-13-x32-cross
runtime for applications compiled with GNAT (shared library)
libgnat-13-sparc64-cross
runtime for applications compiled with GNAT (shared library)
nextpnr-gowin-qt
FPGA place and route tool for Gowin GW1N - with GUI
libstd-rust-1.76
Rust standard libraries
libphpy1
phonon calculations at harmonic and quasi-harmonic levels (shared library)
storm-lang-sound
Sound playback library for Storm
libsundials-arkode5
differential equation solver (SUNDIALS library)
python3-tr
Pure-Python implementation of tr
liburcu8t64
userspace RCU (read-copy-update) library
ayatana-indicator-display
Ayatana Indicator for Display configuration
libtss2-tcti-spi-helper0t64
TPM2 Software stack library - TSS and TCTI libraries
libadios2-serial-c-2
ADIOS2 Adaptable IO system for simulations - C binding libraries (serial)
storm-lang-graphics
Graphics library for Storm
libvisp-blob3.6
visual servoing platform blob tracking library
coqprime-tools
Primality certification for Coq (tools)
postfix-mongodb
MongoDB map support for Postfix
libgnat-13-ppc64-cross
runtime for applications compiled with GNAT (shared library)
libgnat-13-powerpc-cross
runtime for applications compiled with GNAT (shared library)
php-symfony-remote-event
Eases handling remote events
libstarpumpi-1.4-2
Task scheduler for heterogeneous multicore machines