storm-lang-crypto

Cryptographic library for Storm

Cryptographic primitives (for example for estabilshing SSL tunnels) for the Storm language platform.

storm-lang

Platform for extensible languages

Storm is a language system for extensible languages. It allows creating multiple languages and DSLs that are able to operate in close cooperation. Not too dissimilar from LISP systems, but with custom syntax.

storm-lang-presentation

Presentation library for Storm

Library with language extensions for conveniently creating and showing presentations in the Storm language platform.

lib32stdc++-11-dev-mips64r6el-cross

GNU Standard C++ Library v3 (development files) (mips64r6el

This package contains the headers and static library files necessary for building C++ programs which use libstdc++.

lib64go19-mipsr6-cross

Runtime library for GNU Go applications (64bit)

Library needed for GNU Go applications linked against the shared library.

libpetsc-complex3.17

Shared libraries for version 3.17 of PETSc with Complex Numbers

PETSc is the "Portable Extensible Toolkit for Scientific Computation", a suite of data structures and routines for the scalable (parallel) solution of scientific applications modeled by partial differential equations. It employs the MPI standard for all message-passing communication. Several sample scientific applications, as well as various papers and talks, demonstrate the features of the PETSc libraries.