Full name | Description | Actions |
---|---|---|
Axel is an algebraic geometric modeling platform | ||
A framework to benchmark different optimistic replication mechanisms. | ||
Testing OCaml under Windows, BSD, Linux, MacOSX. | ||
C++ software suite for high performance clustering and discriminant analysis based on mixture models. The three major component [...] | ||
Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related algorithms. | ||
K3 action language is the evolution of Kermeta action language. | ||
CosyVerif is a software environment whose goal is the formal specification and verification of dynamic systems. [...] |
||
http://icl.cs.utk.edu/projectsdev/morse/software/index.html |