Software Map
Project Tree
Now limiting view to projects in the following categories:
Operating System :: POSIX [Remove This Filter]
Intended Audience :: Developers [Remove This Filter]
Operating System :: MacOS [Remove This Filter]
|
Browse By: |
12 projects in result set.
ViSP
- ViSP is a C++ toolkit that allows rapid prototyping of visual servoing applications. The library features a wide class of control skills as well as real-time tracking processes and simulation capabilities. | |
|
Activity Percentile: 100.00 Registered: 2006-06-13 09:19 |
geogram
- fast, simple and easy-to-use primitives for geometric programming | |
|
Activity Percentile: 92.65 Registered: 2014-03-22 10:05 |
Heptagon
- Research compiler for an experimental dialect of Lustre. | |
|
Activity Percentile: 86.18 Registered: 2010-05-28 13:41 |
PaStiX
- PaStiX 6.0.0 and next releases will be hosted on: https://gitlab.inria.fr/solverstack/pastix
PaStiX is a high performance parallel solver for very large sparse linear systems based on direct methods. It provides also an adaptive blockwise iLU(k) factorization that can be used as a parallel preconditioner. | |
|
Activity Percentile: 74.41 Registered: 2005-12-01 17:31 |
SYNTAX
- Ensemble d'outils permettant la construction automatique d'analyseurs syntaxiques à partir de leur description grammaticale. Les formalismes reconnus vont des CFG (déterministes ou ambiguës) aux TAG, LFG, RCG, ... | |
|
Activity Percentile: 63.24 Registered: 2006-07-07 12:05 |
dana
- dana is a multi-platform library for distributed asynchronous numerical and adaptive computation. | |
|
Activity Percentile: 59.41 Registered: 2006-12-19 08:37 |
Padico
- Padico is a software environment for computational grids designed for high performance parallel computing, distributed computing, and software components.
Padico is comprised of PadicoTM, PaCO++, GridCCM, and ADAGE.
| |
|
Activity Percentile: 49.41 Registered: 2005-07-28 12:04 |
ProverEditor
- A lightweight multi-prover interface in Eclipse. | |
|
Activity Percentile: 0.00 Registered: 2006-04-04 10:14 |
PaStiX-devel
- PaStiX is a high performance parallel solver for very large sparse linear systems based on direct methods. It provides also an adaptive blockwise iLU(k) factorization that can be used as a parallel preconditioner. | |
|
Activity Percentile: 0.00 Registered: 2005-12-01 17:16 |
MURGE
- MURGE is a common interface to several sparse linear solvers. This projet aims at providing a interface that can be use in numerical simulation to call different solvers without rewriting some code.
"MURGE is close to MERGE". | |
|
Activity Percentile: 0.00 Registered: 2009-02-04 15:35 |
libtopology
- **** IMPORTANT NOTE: libtopology is now replaced by hwloc. All resources are now hosted at http://www.open-mpi.org/projects/hwloc/ ****
| |
|
Registered: 2009-02-03 11:11 |
stage
- A language model for dynamic code updating | |
|
Activity Percentile: 0.00 Registered: 2008-07-25 08:52 |