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