storm-lang-layout
Layout library for Storm
This library provides a language extension for declaring layouts
in the Storm language platform.
storm-lang-crypto
Cryptographic library for Storm
Cryptographic primitives (for example for estabilshing SSL tunnels)
for the Storm language platform.
libtext-bibtex-validate-perl
validator for BibTeX format
Text::BibTeX::Validate checks the standard fields of BibTeX entries for their
compliance with their format. In particular, value of 'email' is checked
against RFC 822 mandated email address syntax, value of 'doi' is checked to
start with '10.' and contain at least one '/' and so on. Some nonstandard
fields as 'isbn', 'issn' and 'url' are also checked. Failures of checks are
returned as instances of Text::BibTeX::Validate::Warning.
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.
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.