Software Map
Project Tree
Now limiting view to projects in the following categories:
Operating System :: POSIX [Remove This Filter]
|
Browse By: |
14 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: 96.46 Registered: 2006-06-13 09:19 |
TakTuk
- Taktuk is a library for efficient large scale deployment of remote executions. The development is headed by the MOAIS INRIA project. The tool is used as a launcher in the KAAPI library and as an administration tool on Grid5000 INRIA platform. | |
|
Activity Percentile: 90.80 Registered: 2006-02-17 09:39 |
Belenios
- Verifiable online voting system | |
|
Activity Percentile: 89.62 Registered: 2013-11-12 16:52 |
SimGrid
- SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments. | |
|
Activity Percentile: 59.67 Registered: 2005-03-01 16:29 |
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: 45.52 Registered: 2005-12-01 17:31 |
CryptoMiniSat
- CryptoMiniSat is a state-of-the-art SAT solver incorporating many ideas. For a list, please visit http://www.msoos.org/2013/04/cryptominisat-3-0-released/
The source is available on github: https://github.com/msoos/cryptominisat | |
|
Activity Percentile: 41.27 Registered: 2009-05-14 08:56 |
Digiplante Public
- Bibliothèques open-source du projet Digiplante | |
|
Activity Percentile: 13.44 Registered: 2009-11-16 10:23 |
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 |
PaMPA Library
- PaMPA is a parallel library for handling, redistributing
and remeshing unstructured meshes on distributed-memory
architectures. | |
|
Registered: 2016-10-18 08:52 |
MMG3D
- MMG3d is an isotropic/anisotropic tetrahedral fully automatic remesher | |
|
Activity Percentile: 0.00 Registered: 2012-09-07 06:58 |
Darshan-ruby
- Darshan-ruby is a Ruby wrapper for the Darshan C library. It provides high-level tools to parse logs generated by Darshan (I/O profiling library for HPC applications, developed by ANL). | |
|
Activity Percentile: 0.00 Registered: 2013-04-13 15:56 |
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 |
HIPS
- HIPS stands for "Hierarchical Iterative Parallel Solver". It is a parallel solver for large sparse linear system. | |
|
Registered: 2006-10-16 08:28 |
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 |