libsvtav1enc2
Scalable Video Technology for AV1 (libsvtav1enc shared library)
postgresql-15-partman
PostgreSQL Partition Manager
postgresql-15-dirtyread
Read dead but unvacuumed tuples from a PostgreSQL relation
postgresql-15-pg-qualstats
PostgreSQL extension to gather statistics about predicates.
fcitx5-table-emoji
Flexible Input Method Framework v5 - Emoji table
postgresql-15-pg-checksums
Activate/deactivate/verify PostgreSQL data checksums
libstd-rust-1.49
Rust standard libraries
llvm-17-linker-tools
Modular compiler and toolchain technologies - Plugins
input-remapper-daemon
Input device button mapping tool (daemon)
gdm-settings
settings app for GNOME's Login Manager, GDM
gqlclient
GraphQL client and code generator for Go (program)
libunwind-17
production-quality unwinder
clang-15-examples
Clang examples
libgoby-io-java
IO API for goby
libcoq-deriving
deriving MathComp classes from inductive types
liblld-17
LLVM-based linker, library
libcoq-extructures
data structures with extensional reasoning for Coq
node-clipanion
Type-safe CLI library with no runtime dependencies
imgcrypt
OCI Image Encryption Package (program)
postgresql-15-mimeo
specialized, per-table replication between PostgreSQL instances
libcoq-hammer-tactics
automated reasoning tool for Coq (tactics)
igblast
Immunoglobulin and T cell receptor variable domain sequence analysis
mkdocs-click
MkDocs extension to generate documentation for Click command line applications
libcoq-record-update
automatic record fields updaters for Coq