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.