This is a staging site. Uploads will not persist. Testing only.
libadios2-serial-c-2
ADIOS2 Adaptable IO system for simulations - C binding libraries (serial)
The Adaptable IO System (ADIOS) provides a simple, flexible way for
scientists to describe the data in their code that may need to be
written, read, or processed outside of the running simulation. By
providing an external to the code XML file describing the various
elements, their types, and how you wish to process them this run, the
routines in the host code (either Fortran or C) can transparently
change how they process the data.
libtss2-tcti-swtpm0t64
TPM2 Software stack library - TSS and TCTI libraries
TPM2.0 TSS (Software Stack) consists of API layers provided to support
TPM 2.0 chips. It is made out of three layers:
libadios2-serial-core-2
ADIOS2 Adaptable IO system for simulations - core libraries (serial)
The Adaptable IO System (ADIOS) provides a simple, flexible way for
scientists to describe the data in their code that may need to be
written, read, or processed outside of the running simulation. By
providing an external to the code XML file describing the various
elements, their types, and how you wish to process them this run, the
routines in the host code (either Fortran or C) can transparently
change how they process the data.
libsingular4m3n0
Computer Algebra System for Polynomial Computations -- library package
SINGULAR is a Computer Algebra System (CAS) for polynomial computations with
emphasis on the special needs of commutative algebra, algebraic geometry,
and singularity theory.
solo1-cli
command line interface for SoloKeys Solo 1
Lets you manage your SoloKeys Solo 1 device, the first open-source FIDO2
security key. One can generate key pairs, verify, update or reset the key.
libghc-mod-prof
fast type-safe modular arithmetic; profiling libraries
Modular arithmetic, promoting moduli to the type level, with an
emphasis on performance.