Software Map

Project Tree

Now limiting view to projects in the following categories:
Intended Audience :: Developers [Remove This Filter]
Kind :: Software [Remove This Filter]
Intended Audience :: End Users/Desktop [Remove This Filter]
Kind :: Publication(s) [Remove This Filter]

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

9 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 (Now Filtering)
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Publication\(s\) (Now Filtering)
Kind : Software (Now Filtering)
License : CeCILL[Filter]
License : CeCILL-B[Filter]
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: 18.87

Registered: 2006-06-21 14:09

Datalift - The Datalift platform aims at easing and automating publication of raw structured datasets on the Web of data. // La plateforme Datalift est un toolkit pour facilement et automatiquement publier des jeux de données structurés sur le Web des données.

Development Status : 3 - Alpha[Filter]
Development Status : 4 - Beta[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Publication\(s\) (Now Filtering)
Kind : Software (Now Filtering)
Kind : Work group[Filter]
License : CeCILL[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Java[Filter]
Programming Language : JavaScript[Filter]
Research center : Montbonnot[Filter]
Research center : Rocquencourt[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Database : Database Engines/Servers[Filter]
Topic : Database : Front-Ends[Filter]
Topic : Other/Nonlisted Topic[Filter]

Activity Percentile: 12.50

Registered: 2010-09-30 13:05

ISICIL - Le projet ISICIL vise à prouver l'efficacité de l'intégration des technologies du web sémantique et des réseaux sociaux au sein d'outils collaboratifs, notamment dans le cadre de la veille en entreprise.

Development Status : 1 - Planning[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop (Now Filtering)
Intended Audience : System Administrators[Filter]
Kind : Publication\(s\) (Now Filtering)
Kind : Software (Now Filtering)
Kind : Work group[Filter]
License : Public Domain[Filter]
Natural Language : French[Filter]
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Programming Language : JavaScript[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Internet[Filter]
Topic : Office/Business[Filter]
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2009-03-05 15:16

ANR-NOSSI - New simulation tools for large scale modelling of hybrid materials

Development Status : 3 - Alpha[Filter]
Environment : MPI[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Publication\(s\) (Now Filtering)
Kind : Software (Now Filtering)
Kind : Work group[Filter]
Natural Language : French[Filter]
Operating System : MacOS[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]

Activity Percentile: 0.00

Registered: 2008-02-18 14:04

Tools for checking speech parameters - The goal of this project is to improve the calculation of prosodic parameters, for example by determining a confidence index on the calculation of the fundamental frequency, checking if automatic segmentation of speech is reliable, these tools will be based on the neural network use.

Development Status : 1 - Planning[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Publication\(s\) (Now Filtering)
Kind : Software (Now Filtering)
Natural Language : French[Filter]
Operating System : OS Independent[Filter]
Programming Language : Python[Filter]
Research center : Nancy[Filter]
Topic : Multimedia : Sound/Audio : Speech[Filter]

Registered: 2016-10-21 08:21

Toolbox for Opacity - This Java toolbox is a set of tools dedicated to the study of the opacity of systems. Various notions of opacity are planned to be integrated such as normal opacity, k-opacity, and infinite opacity.

Development Status : 2 - Pre-Alpha[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Publication\(s\) (Now Filtering)
Kind : Software (Now Filtering)
Natural Language : English[Filter]
Natural Language : French[Filter]
Programming Language : Java[Filter]
Research center : Rennes[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Security[Filter]

Activity Percentile: 0.00

Registered: 2010-03-09 11:24

WAVE : a topological parallel language - WAVE is an experimental parallel programming language. It forces a programmer to think differently. One could say that it is "topological" because a WAVE program makes explicit how data are organized. The Fibonacci series writes 0;1{;+} in WAVE.

Development Status : 3 - Alpha[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Publication\(s\) (Now Filtering)
Kind : Software (Now Filtering)
Kind : Work group[Filter]
License : OSI Approved : MIT/X Consortium License[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : JavaScript[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Nancy[Filter]
Topic : Software Development : Compilers[Filter]
Topic : Software Development : Interpreters[Filter]

Activity Percentile: 0.00

Registered: 2013-10-16 07:15

Action d'Envergue INRIA sur le HPC - The main objective of this INRIA Large Wingspan Action is HPC.

Development Status : 1 - Planning[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Publication\(s\) (Now Filtering)
Kind : Software (Now Filtering)
Kind : Work group[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Research center : Montbonnot[Filter]
Research center : Sophia Antipolis[Filter]

Activity Percentile: 0.00

Registered: 2010-11-11 19:01

HMULE - HMULE is an Amule-based compliant P2P client offering an integrated support of the KAD DHT in the BitTorrent protocol.

Development Status : 3 - Alpha[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Publication\(s\) (Now Filtering)
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Programming Language : C\+\+[Filter]
Research center : Nancy[Filter]
Topic : Communications : File Sharing[Filter]

Activity Percentile: 0.00

Registered: 2011-08-30 09:51