Shared library for planetary ephemeris data access

Linux port of FAR v2 - with WX GTK GUI

Interior-Point Optimizer, for large-scale nonlinear optimization

Combine images for a favicon with the help of canvas

Simple C API for COIN-OR Solvers Clp and Cbc -- library

Coq library for real analysis

interaction with Coq (runtime)

Coq library for homotopy type theory

Coq library to work with functions defined by equations

Coq plugin to extract dependencies between Coq objects (tools)

proof assistant for higher-order logic (theories)

Data Plane Development Kit (librte-vhost runtime library)

Data Plane Development Kit (librte-vdpa-nfp runtime library)

Data Plane Development Kit (librte-vdpa-mlx5 runtime library)

Unique number allocator for JavaScript

Data Plane Development Kit (librte-timer runtime library)

Data Plane Development Kit (librte-table runtime library)

Data Plane Development Kit (librte-security runtime library)

gir files for the GTK+ syntax highlighting widget

Data Plane Development Kit (librte-ring runtime library)

Data Plane Development Kit (librte-reorder runtime library)

Data Plane Development Kit (librte-regexdev runtime library)

syntax highlighting for nftables configuration files

Data Plane Development Kit (librte-regex-cn9k runtime library)