Software Map

Project Tree

Now limiting view to projects in the following categories:
Intended Audience :: End Users/Desktop [Remove This Filter]
Intended Audience :: Developers [Remove This Filter]

Kind > Publication\(s\)	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

11 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\)[Filter]
Kind : Software[Filter]
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: 79.39

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\)[Filter]
Kind : Software[Filter]
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]

Registered: 2010-09-30 13:05

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\)[Filter]
Kind : Software[Filter]
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: 22.01

Registered: 2008-02-18 14:04

Sequoia-Annotat - This project aims at building ressources for the evaluation of statistical parsers on out of domain corpora. It provides tools for annotation and visualisation of data.
Development Status : 5 - Production/Stable[Filter] Intended Audience : Developers (Now Filtering) Intended Audience : End Users/Desktop (Now Filtering) Intended Audience : Other Audience[Filter] Kind : Publication\(s\)[Filter] Natural Language : French[Filter] Research center : Rocquencourt[Filter]	Activity Percentile: 4.46 Registered: 2011-10-02 23:56

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\)[Filter]
Kind : Software[Filter]
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\)[Filter]
Kind : Software[Filter]
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

Music annotations - This project aims to distribute annotations of music data (structure, chords, other symbolic and numerical features) under version control, so that they may be shared and amended by the community.

Development Status : 5 - Production/Stable[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Publication\(s\)[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Other[Filter]
Research center : Rennes[Filter]
Topic : Multimedia : Sound/Audio : Analysis[Filter]

Activity Percentile: 0.00

Registered: 2010-05-21 08:41

ChorEM: Choreography Event Monitoring.. - An Optimized Derivation of Event Queries to Monitor Choreography Violations: A project of a runtime event-based monitoring of interaction sequences, automatic and optimized generation of rules.

Development Status : 4 - Beta[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop (Now Filtering)
Intended Audience : System Administrators[Filter]
Kind : Publication\(s\)[Filter]
License : Public Domain[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Research center : Nancy[Filter]
Topic : Scientific/Engineering[Filter]
Topic : System : Networking : Monitoring[Filter]

Activity Percentile: 0.00

Registered: 2012-12-19 14:21

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\)[Filter]
Kind : Software[Filter]
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

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\)[Filter]
Kind : Software[Filter]
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\)[Filter]
Kind : Software[Filter]
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