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>.

python3-broadlink

Python API for controlling Broadlink devices

The following devices are supported: