Software Map
Project Tree
Now limiting view to projects in the following categories:
Environment :: Console (Text Based) [Remove This Filter]
Kind :: Software [Remove This Filter]
Development Status :: 5 - Production/Stable [Remove This Filter]
License :: OSI Approved :: GNU General Public License (GPL) [Remove This Filter]
Kind > Software
|
Browse By:
|
12 projects in result set.
Gappa
- Tool for verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. It can be used either directly or as a back-end for other tools, e.g. Coq or Why. |
- Development Status : 5 - Production/Stable (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- License : CeCILL[Filter]
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 86.87
Registered: 2009-09-16 08:55 |
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. |
- Development Status : 5 - Production/Stable (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Intended Audience : System Administrators[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Operating System : POSIX[Filter]
- Programming Language : C[Filter]
- Programming Language : Perl[Filter]
- Research center : Montbonnot[Filter]
- Topic : Software Development[Filter]
- Topic : System : Clustering/Distributed Networks[Filter]
- Topic : System : Systems Administration[Filter]
|
Activity Percentile: 79.40
Registered: 2006-02-17 09:39 |
SODIAC
- SODIAC stands for SOftware DIstribution Analysis Chain. Documentation is available on the wiki: http://gforge.inria.fr/plugins/wiki/index.php?id=929&type=g |
- Development Status : 5 - Production/Stable (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : X11 Applications[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : System Administrators[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Programming Language : Java[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 78.81
Registered: 2007-09-06 20:42 |
MMG3D
- MMG3d is an isotropic/anisotropic tetrahedral fully automatic remesher |
- Development Status : 5 - Production/Stable (Now Filtering)
- Development Status : 6 - Mature[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft[Filter]
- Operating System : POSIX[Filter]
- Programming Language : C[Filter]
- Research center : Bordeaux - Sud-Ouest[Filter]
- Topic : Scientific/Engineering[Filter]
|
Activity Percentile: 67.76
Registered: 2012-09-07 06:58 |
XtremWeb
- XtremWeb: an open source middleware for Desktop Grid |
- Development Status : 5 - Production/Stable (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : Web Environment[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : System Administrators[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Programming Language : Java[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : System : Clustering/Distributed Networks[Filter]
|
Activity Percentile: 62.09
Registered: 2007-12-28 08:25 |
Distem
- a DISTributed systems EMulator |
- Development Status : 5 - Production/Stable (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Ruby[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering[Filter]
|
Activity Percentile: 51.64
Registered: 2011-08-24 12:16 |
discretize4crf
- discretize4crf was written to discretize continuous attributes for machine learning software using only discrete attributes.
the discrete classes are obtained following the mdlpc algorithm. |
- Development Status : 5 - Production/Stable (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : French[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Rennes[Filter]
- Topic : Scientific/Engineering[Filter]
|
Activity Percentile: 30.45
Registered: 2010-09-06 16:10 |
Polyphemus
- Polyphemus is an air quality modeling system, developed by École des ponts, EDF R&D and INRIA. It includes several chemistry-transport models (for radionuclides, photochemistry, aerosols, ...), data assimilation algorithms and ensemble methods. |
- Development Status : 5 - Production/Stable (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : C\+\+[Filter]
- Programming Language : Fortran[Filter]
- Programming Language : Python[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering[Filter]
|
Activity Percentile: 4.48
Registered: 2008-02-13 16:03 |
PaMPA Library
- PaMPA is a parallel library for handling, redistributing
and remeshing unstructured meshes on distributed-memory
architectures. |
- Development Status : 5 - Production/Stable (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : MPI[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Operating System : POSIX[Filter]
- Programming Language : C[Filter]
- Programming Language : Fortran[Filter]
- Research center : Bordeaux - Sud-Ouest[Filter]
- Research center : Sophia Antipolis[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Registered: 2016-10-18 08:52 |
CaWoF
- Calculates of Work Factor of an ISD algorithm in the code rate and error rate. Default algorithm is BJMM, default code rate is 0.5 and defaut error rate is s Gilbert-Varshamov's bound.
Available algorithms are PRANGE, STERN, DUMER, MMT, BJMM and NN. |
- Development Status : 5 - Production/Stable (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
- Topic : Security : Cryptography[Filter]
|
Registered: 2017-02-07 15:44 |
OAR
- OAR is a resource manager (or batch scheduler) for large clusters. |
- Development Status : 5 - Production/Stable (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : Web Environment[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : System Administrators[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : POSIX : AIX[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Operating System : POSIX : SunOS/Solaris[Filter]
- Programming Language : Perl[Filter]
- Programming Language : Ruby[Filter]
- Programming Language : Unix Shell[Filter]
- Research center : Montbonnot[Filter]
- Topic : System : Clustering/Distributed Networks[Filter]
- Topic : System : Systems Administration[Filter]
|
Activity Percentile: 0.00
Registered: 2005-10-19 11:44 |
parXXL
- The parXXL suite that eases the implementation and benchmarking
of highly performant large scale parallel and distributed
applications. This project is a collaboration of INRIA and SUPELEC. |
- Development Status : 5 - Production/Stable (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : MPI[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : System : Clustering/Distributed Networks[Filter]
|
Activity Percentile: 0.00
Registered: 2005-12-02 15:46 |