Software Map
Project Tree
Now limiting view to projects in the following categories:
License :: CeCILL-B [Remove This Filter]
Environment :: Console (Text Based) [Remove This Filter]
6 projects in result set.
ZenoSolver
- ZenoSolver is a C++11 software dedicated to generate and solve MultiZenoTravel instances.
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : OpenMP[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : CeCILL-B (Now Filtering)
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering[Filter]
|
Activity Percentile: 37.71
Registered: 2014-04-03 06:13 |
EZTrace
- EZTrace is a tool that aims at generating automatically execution trace
from HPC (High Performance Computing) programs. It generates execution
trace files that can be interpreted by visualization tools such as
ViTE.
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : CeCILL-B (Now Filtering)
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Research center : Bordeaux - Sud-Ouest[Filter]
- Topic : System : Clustering/Distributed Networks[Filter]
|
Activity Percentile: 35.42
Registered: 2010-05-28 15:10 |
Holide
- An HOL to Dedukti translator.
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : CeCILL-B (Now Filtering)
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering[Filter]
|
Registered: 2013-05-31 09:06 |
Puiseux's theorem
- - Formal proof in Coq of Puiseux's theorem.
- Program computing roots of a Puiseux series polynomial.
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : CeCILL-B (Now Filtering)
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Objective-Caml[Filter]
- Programming Language : Other[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2014-09-14 10:01 |
Sémagramme
- Regroupement des projets publics de l'équipe Sémagramme
|
- Development Status : 4 - Beta[Filter]
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : Web Environment[Filter]
- Environment : X11 Applications[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : CeCILL-B (Now Filtering)
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : MacOS[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering[Filter]
|
Activity Percentile: 0.00
Registered: 2011-06-15 08:03 |
OpenNebula cookbooks for Grid'5000
- This project aims at providing a reference chef cookbook for automatic deployment of OpenNebula on Grid'5000, so as to prepare Inria's tesbed for the BonfiRE European project
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Intended Audience : System Administrators[Filter]
- Kind : Software[Filter]
- License : CeCILL-B (Now Filtering)
- License : OSI Approved : Apache Software License[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Ruby[Filter]
- Research center : Rennes[Filter]
- Topic : System : Installation/Setup[Filter]
- Topic : System : Systems Administration[Filter]
|
Activity Percentile: 0.00
Registered: 2011-01-12 16:40 |
