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.