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.