libtasmaniansparsegrid8

Tasmanian module for sparse grids

The Toolkit for Adaptive Stochastic Modeling and Non-Intrusive ApproximatioN (Tasmanian) is a collection of robust libraries for high dimensional integration and interpolation as well as parameter calibration.

sopv-gpgv

Stateless OpenPGP CLI Verification-only Subset backed by gpgv

The Stateless OpenPGP Command-Line Interface Verification-only Subset (or `sopv`) is a simple, standard interface for verifying OpenPGP cryptographic signatures.

tinycbor-utils

Concise Binary Object Representation (CBOR) library (utilities)

TinyCBOR library is a small CBOR encoder and decoder library, optimized for very fast operation with very small footprint. The main encoder and decoder functions do not allocate memory.

lbt

converts from LTL formulas to Büchi automata

This software converts a linear temporal logic (ltl) formula to a generalised Büchi automaton. The resulting automaton may be used, for instance, in model checking, where it represents a property to be verified from a model (e.g. a Petri net).

python3-tasmanian

Python interface to the Tasmanian sparse grids and DREAM modules

The Toolkit for Adaptive Stochastic Modeling and Non-Intrusive ApproximatioN (Tasmanian) is a collection of robust libraries for high dimensional integration and interpolation as well as parameter calibration.

lcl-utils-4.0

Lazarus Components Library - command line build tools

Lazarus is an IDE to create (graphical and console) applications with Free Pascal, the (L)GPLed Pascal and Object Pascal compiler that runs on Windows, Linux, Mac OS X, FreeBSD and more.