wcm
Wayfire Config Manager
vst3sdk-plugins
VST SDK plug-ins
wstroke
Mouse gesture plugin for Wayfire
valkey-server
Persistent key-value database with network interface
wsjtx-improved
Weak-signal amateur radio communications
valkey-tools
Persistent key-value database with network interface (client)
libcoq-ext-lib
Collection of theories and plugins for Coq
libopengv1
Computer vision methods for solving geometric vision problems.
protoc-gen-go-grpc
gRPC plugin for protobuf compiler
libopenexr-3-1-30
runtime files for the OpenEXR image library
libcoq-coqeal
algebra and data structure algorithms for Coq
drat-trim-examples
DART-trim satisfiability proof checker (example files)
libhash-sharedmem-perl
efficient shared mutable hash
qml6-module-qtquick-templates
Qt 6 Quick Templates QML module
debian-codesearch-cli
client for Debian Code Search
gir1.2-panel-1
GObject introspection data for libpanel
distribution-gpg-keys
Archive keyrings for RPM-based Linux distributions
libpanel-1-1
IDE paneling library for GTK
qml-module-lomiri-connectivity
Lomiri Connectivity API QML Components
libprometheus-tiny-shared-perl
tiny Prometheus client with a shared database behind it
libngtcp2-16
implementation of QUIC protocol (library)
ngtcp2-server
implementation of QUIC protocol (development)
lomiri-indicator-network
Systems settings menu service - Network indicator
pg-statviz
PostgreSQL internal statistics analysis and visualization