Advertisement
UPPAAL DBM Library
Difference Bound Matrices (DBMs) are efficient data structures to represent clock constraints in timed automata....
Uppaal Timed Automata Parser Library
The UPPAAL Timed Automata Parser Library (libutap) is the parser library used by UPPAAL....
UPPAAL
UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems....
environment integrated UPPAAL integrated tool environment modeling real-time systems
UPPAAL TIGA
UPPAAL TIGA is an extension of UPPAAL and it implements the first efficient on-the-fly algorithm for solving games....
UPPAAL solving solving games command line verifier on-the-fly algorithm
DBM::Any
DBM::Any is an object-oriented interface, la BerkeleyDB, on top of Perl's common DBM formats....
database Perl module object-oriented BerkeleyDB Perl interface
DBM::Deep
DBM::Deep is a pure perl multi-level hash/array DBM....
Number::Phone::UK::DBM::Deep
Number::Phone::UK::DBM::Deep is a pure perl multi-level hash/array DBM....
Perl module hash multi-level multi-level hash DBM multi-level aray DBM
Advertisement
The K Library
An extension of C++ standardized libraries to provide functionality such as factories, language loaders, and other fairly common functions....
The Appconf Library
The Appconf Library is a library for reading configuration files....
development library development library Appconf library manage configuration data
Firefoot Library
FireFoot is library that provides an easy way for C language programmers to connect to Firebird database servers....
database Firebird Firebird library Firebird database library Firefoot Library
Library Finder
Library Finder helps to find library files (.jar/.zip) for any class/file name pattern....
Papyrus Library
A 2D C++ scenegraph library that utilizes the cairo library to perform drawing operations....
EnOcean Library
EnOcean Evaluation Board communication library...
library board EnOcean Evaluation Board EnOcean gateway EnOcean
The SlotSig library
The SlotSig library is a library that provides type-safe connections between C++ classes....
library C++ classes slotsig library type-safe connections slotsig
Detect library
Detect is a library witch main purpose is to assume all the detection of the peripherals during the installation process....
detection detect hardware detection peripherals detection peripherals
TCB::Library
TCB::Library provides a database-backed book library package for DBIx::Frame....
WBXML Library
A C library for handling WBXML (Wireless Binary XML) documents....