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