rockhopper
system for analyzing bacterial RNA-seq data
Rockhopper is a comprehensive and user-friendly system for
computational analysis of bacterial RNA-seq data. As input, Rockhopper
takes RNA sequencing reads output by high-throughput sequencing
technology (FASTQ, QSEQ, FASTA, SAM, or BAM files). Rockhopper supports
the following tasks:
libosmosccp0t64
Library for Signalling Connection Control Part (SCCP)
SCCP is a network layer protocol that provides extended routing, flow control,
segmentation, connection-orientation, and error correction facilities in
Signaling System 7 telecommunications networks.
It is heavily used in cellular networks such as GSM.
libosmomtp0t64
Message Transfer Part for Signaling System 7
MTP is part of the Signaling System 7 used for communication in Public
Switched Telephone Networks. MTP is responsible for reliable, unduplicated and
in-sequence transport of SS7 messages between communication partners.
This library is closely related to the libosmosccp library.
coqprime-tools
Primality certification for Coq (tools)
Coqprime consists in:
- a library of facts from number theory
- a library for elliptic curves
- an efficient library for modular arithmetic
- tools to generate Pocklington and elliptic curve
certificates of primality
fonts-creep2
Copy of the 'creep' font with a strict character bounding box
The 'creep' font is a pretty compact font that is only 4 pixels wide. It is
great for smaller screens, in order to be able to maintain high text density
on screens reported as small as 11 inches in diagonal.
libosmo-sigtran7t64
Osmocom SIGTRAN library (SCCP, SUA, M3UA and more)
This is a shared library containing SS7/SIGTRAN related functionality,
including connection-less and connection-oriented SCCP as per ITU-T Q.71x,
M3UA (MTP3 User Adaptation) according to IETF RFC4666, SUA (SCCP User
Adpatation) according to IETF RFC3868 as well as MTP-level routing function
and handling of signaling links, linksets, ASPs, SGs, etc.