Software Map

Project Tree

Now limiting view to projects in the following categories:
Kind :: Publication(s) [Remove This Filter]
Operating System :: OS Independent [Remove This Filter]

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

Activity Percentile: 68.14

Registered: 2006-06-21 14:09

Entropy - A consolidation manager for clusters based on global optimization

Development Status : 5 - Production/Stable[Filter]
Environment : No Input/Output \(Daemon\)[Filter]
Intended Audience : System Administrators[Filter]
Kind : Publication\(s\) (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Research center : Rennes[Filter]
Topic : System : Clustering/Distributed Networks[Filter]
Topic : System : Systems Administration[Filter]

Activity Percentile: 55.84

Registered: 2008-11-20 12:37

Active Data - A programming model and framework for managing Big Data in hybrid distributed computing infrastructures.

Development Status : 3 - Alpha[Filter]
Environment : No Input/Output \(Daemon\)[Filter]
Intended Audience : Developers[Filter]
Kind : Publication\(s\) (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development[Filter]

Activity Percentile: 33.12

Registered: 2012-06-25 21:04

Java's Cool - Java's Cool est un environnement de programmation java pour débutant disposant d'un système d'acquisition physique compatible ORPHY GTS 2.

Development Status : 5 - Production/Stable[Filter]
Environment : Other Environment[Filter]
Environment : Win32 \(MS Windows\)[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Publication\(s\) (Now Filtering)
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : French[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Education[Filter]

Activity Percentile: 29.02

Registered: 2008-06-11 14:50

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[Filter]
Intended Audience : End Users/Desktop[Filter]
Intended Audience : System Administrators[Filter]
Kind : Publication\(s\) (Now Filtering)
Kind : Software[Filter]
Kind : Work group[Filter]
License : Public Domain[Filter]
Natural Language : French[Filter]
Operating System : OS Independent (Now Filtering)
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

Eucalypt - Eucalypt: Efficient tree reconciliation enumerator

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Publication\(s\) (Now Filtering)
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering : Bio-Informatics[Filter]

Activity Percentile: 0.00

Registered: 2013-10-28 10:33

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[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Publication\(s\) (Now Filtering)
Kind : Software[Filter]
Kind : Work group[Filter]
License : OSI Approved : MIT/X Consortium License[Filter]
Natural Language : English[Filter]
Operating System : OS Independent (Now Filtering)
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

Thesis - All Files from Loïc Fejoz's Ph'd thesis.

Development Status : 3 - Alpha[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Other Audience[Filter]
Kind : Publication\(s\) (Now Filtering)
Kind : Software[Filter]
Kind : Work group[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Research center : Nancy[Filter]
Topic : Security[Filter]

Registered: 2007-01-29 09:19

Snooze - Snooze is a scalable, autonomic, and energy-aware virtual machine (VM) management framework based on a self-organizing hierarchical architecture.

Development Status : 5 - Production/Stable[Filter]
Environment : No Input/Output \(Daemon\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Intended Audience : System Administrators[Filter]
Kind : Publication\(s\) (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Research center : Rennes[Filter]
Topic : System : Clustering/Distributed Networks[Filter]
Topic : System : Software Distribution[Filter]
Topic : System : Systems Administration[Filter]

Activity Percentile: 0.00

Registered: 2012-01-13 12:55

Predicting patents from Pubmed - Predict patents by text mining PubMed.

Development Status : 1 - Planning[Filter]
Intended Audience : Developers[Filter]
Kind : Publication\(s\) (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Python[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering : Data Mining[Filter]

Activity Percentile: 0.00

Registered: 2011-10-17 15:57

Grid4all Scheduling Service - The GRID Scheduling Service

Development Status : 1 - Planning[Filter]
Environment : No Input/Output \(Daemon\)[Filter]
Environment : Other Environment[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers[Filter]
Kind : Publication\(s\) (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : System[Filter]

Activity Percentile: 0.00

Registered: 2007-12-28 08:17