libcoq-hammer

automated reasoning tool for Coq

Hammer is a tool to help in the search of a proof in Coq. It tries to find applicable lemmas and combine them into a effective proof.

libhdf5-cpp-103-1t64

HDF5 - C++ runtime files - serial version

Hierarchical Data Format 5 (HDF5) is a file format and library for storing scientific data. HDF5 was designed and implemented to address the deficiencies of HDF4.x. It has a more powerful and flexible data model, supports files larger than 2 GB, and supports parallel I/O.

libortp16

Real-time Transport Protocol (RTP) stack

This library implements RFC 3550 (RTP) and offers an easy to use API with high-level and low-level access. It is part of Linphone.

libmfsio1t64

MooseFS IO library

MooseFS client IO library.

node-lib0

Monorepo of isomorphic utility functions

This library is meant to replace all global JavaScript functions with isomorphic module imports. Additionally, it implements several performance-oriented utility modules. Most noteworthy are the binary encoding/decoding modules lib0/encoding and lib0/decoding, the randomized testing framework lib0/testing, the fast Pseudo Random Number Generator lib0/PRNG, the small socket.io alternative lib0/websocket, and the logging module lib0/logging that allows colorized logging in all environments.

libhdf5-fortran-102t64

HDF5 Fortran runtime files - serial version

Hierarchical Data Format 5 (HDF5) is a file format and library for storing scientific data. HDF5 was designed and implemented to address the deficiencies of HDF4.x. It has a more powerful and flexible data model, supports files larger than 2 GB, and supports parallel I/O.