numbat
CLI for numbat, a programming language for scientific computations
python3.13-venv
Interactive high-level object-oriented language (pyvenv binary, version 3.13)
python3-compose
Python implementation of docker-compose file specification
g++-13-multilib-mipsisa32r6-linux-gnu
GNU C++ compiler (multilib support) (cross compiler for mipsr6 architecture)
cpp-13-mipsisa32r6el-linux-gnu
GNU C preprocessor for mipsisa32r6el-linux-gnu
storm-lang-sql
SQL library for Storm
storm-lang-sound
Sound playback library for Storm
libgnuradio-pdu3.10.4
gnuradio streaming protocol library
libgnuradio-qtgui3.10.4
gnuradio Qt graphical user interface functions
storm-lang-graphics
Graphics library for Storm
coqprime-tools
Primality certification for Coq (tools)
progvis
Program visualization tool for C/C++ (and others)
libocct-visualization-7.6
Open CASCADE Technology graphical data visualization module
libwsutil15
network packet dissection utilities library -- shared library
quickchick
randomized testing framework for Coq (tools)
libwireshark17
network packet dissection library -- shared library
python3-pako
Universal package manager library (Python 3)
glab
commandline interface for gitlab instances
libocct-ocaf-7.6
Open CASCADE Technology application-specific data and functionality
fcitx5-zhuyin
Libzhuyin Wrapper for Fcitx5
libexecline2.9
small and non-interactive scripting language (shared library)
liblrs1t64
package to enumerate vertices and extreme rays (shared libraries)
python3-types-typed-ast
Typing stubs for typed-ast
libposixsignalmanager0a
posix signal handling for qt - shared library