libcoq-elpi-ocaml
Coq plugin embedding Elpi (runtime)
This package makes it possible to define new commands and tactics
for Coq in Elpi.
libopenfec1
Application-Level Forward Erasure Correction codes (shared library)
Application-Level Forward Erasure Correction codes, or AL-FEC (also called
UL-FEC, for Upper-Layers FEC). The idea is to add redundancy in order to be
able to recover from erasures. Because of their position in the communication
stack, these codes are implemented as software codecs, and they find many
applications in robust transmission and distrituted storage systems.
gcc-13-multilib-sparc64-linux-gnu
GNU C compiler (multilib support) (cross compiler for sparc64 architecture)
This is the GNU C compiler, a fairly portable optimizing compiler for C.
python3-qt-material
Material Design-inspired stylesheet for PySide6, PySide2, PyQt5 and PyQt6
This is another stylesheet for PySide6, PySide2, PyQt5 and PyQt6,
which looks like Material Design (close enough), with custom dark and
light themes.
r-cran-influencer
Quantify Structural Importance of Nodes in a Network
Provides functionality to compute various node centrality measures on networks.
Included are functions to compute betweenness centrality (by utilizing Madduri
and Bader's SNAP library), implementations of constraint and effective network
size by Burt (2000) <doi:10.1016/S0191-3085(00)22009-1>; algorithm to identify
key players by Borgatti (2006) <doi:10.1007/s10588-006-7084-x>; and the
bridging algorithm by Valente and Fujimoto (2010)
<doi:10.1016/j.socnet.2010.03.003>.