Software Map

Project Tree

Now limiting view to projects in the following categories:
Kind :: Software [Remove This Filter]
License :: CeCILL-B [Remove This Filter]

License > CeCILL-B	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

14 projects in result set.

CoqFiniteGroups - Formal proof of the Feit-Thompson theorem Ssreflect plugin for the Coq proof assistant

Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Publication\(s\)[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
License : CeCILL-B (Now Filtering)
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : ML[Filter]
Programming Language : Other[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 68.34

Registered: 2006-06-21 14:09

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\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
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: 66.57

Registered: 2010-05-28 15:10

ZenoSolver - ZenoSolver is a C++11 software dedicated to generate and solve MultiZenoTravel instances.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : OpenMP[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
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: 48.52

Registered: 2014-04-03 06:13

OpenEmbeDD - OpenEmbeDD is an ANR project. Its goal is to build an open-source platform for Model Driven Engineering of Real Time and embedded systems.

Development Status : 3 - Alpha[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : CeCILL-B (Now Filtering)
License : OSI Approved : Eclipse Public Licence[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Java[Filter]
Programming Language : Other[Filter]
Research center : Rennes[Filter]
Research center : Rocquencourt[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Software Development : Build Tools[Filter]
Topic : Software Development : Code Generators[Filter]

Activity Percentile: 41.42

Registered: 2006-10-18 11:29

Gar6more2D - Analytical solutions for two dimensional wave propagation problems.
Development Status : 5 - Production/Stable[Filter] Intended Audience : Other Audience[Filter] Kind : Software (Now Filtering) License : CeCILL-B (Now Filtering) Natural Language : English[Filter] Operating System : OS Independent[Filter] Programming Language : Fortran[Filter] Research center : Bordeaux - Sud-Ouest[Filter] Topic : Scientific/Engineering : Mathematics[Filter]	Activity Percentile: 5.92 Registered: 2013-09-03 14:53

Holide - An HOL to Dedukti translator.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
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

MTM - Modeling and Tracing Memory Library and tools to investigate memory consumption and memory scalability on parallel machines: on the road to Exascale machines.

Development Status : 3 - Alpha[Filter]
Environment : MPI[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : CeCILL-B (Now Filtering)
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Programming Language : Fortran[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development : Build Tools[Filter]

Activity Percentile: 0.00

Registered: 2014-02-07 15:36

Gar6more3D - Analytical solutions for three-dimensional wave propagation problems.

Development Status : 5 - Production/Stable[Filter]
Environment : MPI[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : CeCILL-B (Now Filtering)
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Fortran[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2013-09-03 14:59

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\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
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

libtopology - **** IMPORTANT NOTE: libtopology is now replaced by hwloc. All resources are now hosted at http://www.open-mpi.org/projects/hwloc/ ****

Development Status : 5 - Production/Stable[Filter]
Intended Audience : Developers[Filter]
Intended Audience : System Administrators[Filter]
Kind : Software (Now Filtering)
License : CeCILL-B (Now Filtering)
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : System[Filter]

Registered: 2009-02-03 11:11

Simple Screen Viewer - Un utilitaire de partage d'écran : ultra-simple d'utilisation, sans logiciel à installer chez le client, qui passe les firewall, compatible Windows/Linux/MacOS-X, sécurisé.

Development Status : 4 - Beta[Filter]
Environment : Other Environment[Filter]
Environment : Web Environment[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : CeCILL-B (Now Filtering)
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Java[Filter]
Research center : Montbonnot[Filter]
Topic : Communications : Conferencing[Filter]

Activity Percentile: 0.00

Registered: 2008-02-14 14:37

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\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : System Administrators[Filter]
Kind : Software (Now Filtering)
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

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\)[Filter]
Environment : Web Environment[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
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

EMBAL - The EMBAL (Electro-Magnetic Brain Activity Localization) provides a set of tools to solve the inverse problem involved in neuronal source localization using MEG and EEG.

Development Status : 4 - Beta[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : CeCILL-B (Now Filtering)
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Scientific/Engineering : Medical Science Apps\.[Filter]

Activity Percentile: 0.00

Registered: 2008-09-25 11:43