Software Map

Project Tree

Now limiting view to projects in the following categories:
Environment :: Other Environment [Remove This Filter]
Natural Language :: English [Remove This Filter]

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

5 projects in result set.

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

Environment : Other Environment (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Publication\(s\)[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
License : CeCILL-B[Filter]
Natural Language : English (Now Filtering)
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.25

Registered: 2006-06-21 14:09

Porgy - PORGY is an interactive visual environment for modelling complex systems through graphs and graph rewriting rules. See http://porgy.labri.fr for more details and up to date information.

Development Status : 4 - Beta[Filter]
Environment : Other Environment (Now Filtering)
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Other Audience[Filter]
Kind : Publication\(s\)[Filter]
Kind : Software[Filter]
Kind : Work group[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : System[Filter]

Activity Percentile: 39.37

Registered: 2009-03-04 15:39

Grid4all Scheduling Service - The GRID Scheduling Service

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

Activity Percentile: 0.00

Registered: 2007-12-28 08:17

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 (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Publication\(s\)[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
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

SMSOA-Security Meta-Services Orch. Arch. - SMSOA (Security Meta-Services Orchestration Architecture) is an architectural framework that consists of security meta-services and a central service used for the orchestration of the security services..

Development Status : 1 - Planning[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Intended Audience : System Administrators[Filter]
Kind : Publication\(s\)[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : OS Independent[Filter]
Research center : Nancy[Filter]
Topic : Communications[Filter]

Activity Percentile: 0.00

Registered: 2009-11-03 11:23