Software Map

Project Tree

Now limiting view to projects in the following categories:
Operating System :: OS Independent [Remove This Filter]
License :: CeCILL [Remove This Filter]
Kind :: Software [Remove This Filter]
Intended Audience :: End Users/Desktop [Remove This Filter]

Intended Audience > End Users/Desktop	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

9 projects in result set.

CoLoR - The aim of this project is to develop the Coq library CoLoR on rewriting and termination.
Development Status : 6 - Mature[Filter] Intended Audience : Developers[Filter] Intended Audience : End Users/Desktop (Now Filtering) Kind : Software (Now Filtering) License : CeCILL (Now Filtering) Natural Language : English[Filter] Operating System : OS Independent (Now Filtering) Topic : Scientific/Engineering[Filter]	Registered: 2006-09-07 08:57

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 (Now Filtering)
Kind : Publication\(s\)[Filter]
Kind : Software (Now Filtering)
License : CeCILL (Now Filtering)
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.34

Registered: 2006-06-21 14:09

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 (Now Filtering)
Kind : Publication\(s\)[Filter]
Kind : Software (Now Filtering)
License : CeCILL (Now Filtering)
Natural Language : French[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Education[Filter]

Activity Percentile: 58.88

Registered: 2008-06-11 14:50

GRUDU - GRUDU is a GUI for Grid'5000 Reservation and Deployment Usage.

Development Status : 5 - Production/Stable[Filter]
Environment : Other Environment[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Software (Now Filtering)
License : CeCILL (Now Filtering)
Natural Language : English[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Research center : Montbonnot[Filter]
Topic : System : Clustering/Distributed Networks[Filter]

Activity Percentile: 58.58

Registered: 2008-04-04 11:43

JRobot - Simple environment to learn algorithmic principles.
Development Status : 4 - Beta[Filter] Intended Audience : End Users/Desktop (Now Filtering) Kind : Software (Now Filtering) License : CeCILL (Now Filtering) Natural Language : French[Filter] Operating System : OS Independent (Now Filtering) Programming Language : Java[Filter] Topic : Education[Filter]	Activity Percentile: 50.30 Registered: 2010-09-28 15:02

Eucalypt - Eucalypt: Efficient tree reconciliation enumerator

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

Registered: 2013-10-28 10:33

graphdice - GraphDice is a multivariate network visualization system that uses the ScatterDice technique to support navigation in all possible graph attribute combinations.

Development Status : 4 - Beta[Filter]
Environment : Other Environment[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Software (Now Filtering)
License : CeCILL (Now Filtering)
Natural Language : English[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : C\+\+[Filter]
Programming Language : Java[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Multimedia : Graphics : Presentation[Filter]
Topic : Scientific/Engineering : Visualization[Filter]
Topic : Sociology : History[Filter]

Activity Percentile: 0.00

Registered: 2011-10-05 16:07

BioMAJ - BioMAJ (BIOlogie Mises A Jour) is a workflow engine dedicated to biological bank management. The Software automates the update cycle and the supervision of the locally mirrored bank repository. This repository holds the old v1 of BioMAJ. New release is available at https://github.com/genouest/biomaj

Development Status : 5 - Production/Stable[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Intended Audience : System Administrators[Filter]
Kind : Software (Now Filtering)
License : CeCILL (Now Filtering)
License : Public Domain[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Programming Language : Perl[Filter]
Research center : Rennes[Filter]
Topic : Internet : Log Analysis[Filter]
Topic : Scientific/Engineering : Bio-Informatics[Filter]
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2006-05-12 12:33

Transalpyne programming language suite - Transalpyne is a toolkit written in Python to transpose, interpret, compile and otherwise manipulate programs written in TransAL, the Transposable Algebraic Language.

Development Status : 2 - Pre-Alpha[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Software (Now Filtering)
License : CeCILL (Now Filtering)
Natural Language : English[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Python[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]
Topic : Software Development : Code Generators[Filter]
Topic : Software Development : Interpreters[Filter]

Activity Percentile: 0.00

Registered: 2009-12-10 21:04