rumur

model checker for the Murphi language

Rumur is a model checker for use in the formal verification of finite state machines specified in the Murphi modelling language. It is based on a previous tool, CMurphi, and attempts to provide an approximate drop-in replacement for CMurphi.

python3-hl7

Python3 library for parsing HL7 messages

HL7 is a communication protocol and message format for health care data. It is the de-facto standard for transmitting data between clinical information systems and between clinical devices. The version 2.x series, which is often is a pipe delimited format is currently the most widely accepted version of HL7 (version 3.0 is an XML-based format). python-hl7 currently only parses HL7 version 2.x messages into an easy to access, list-based, data structure.

libunilog2

wrapper library for google-glog

Define unified log formats for Xilinx vitis ai tools.

librte-net-e1000-23

Data Plane Development Kit (librte-net-e1000 runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

python3-loompy

access loom formatted files for bioinformatics

Loom is an efficient file format for very large omics datasets, consisting of a main matrix, optional additional layers, a variable number of row and column annotations. Loom also supports sparse graphs. Loom files are used to store single-cell gene expression data: the main matrix contains the actual expression values (one column per cell, one row per gene); row and column annotations contain metadata for genes and cells, such as Name, Chromosome, Position (for genes), and Strain, Sex, Age (for cells).

r-cran-dirmult

GNU R estimation in Dirichlet-Multinomial distribution

This GNU R package estimates parameters in Dirichlet-Multinomial and computes profile log-likelihoods.