Software Map

Project Tree

Now limiting view to projects in the following categories:
Environment :: Other Environment [Remove This Filter]
Operating System :: OS Independent [Remove This Filter]
Kind :: Software [Remove This Filter]
Intended Audience :: Developers [Remove This Filter]
Natural Language :: English [Remove This Filter]

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

22 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2>

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

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

Registered: 2006-06-21 14:09

Gaspard 2 - Gaspard2 is an Integrated Development Environment (IDE) for SoC visual co-modeling. It allows modeling, simulation and code generation of SoC applications and hardware architectures. (See the wiki of the project for more information.)

Development Status : 5 - Production/Stable[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : Eclipse Public Licence[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : C[Filter]
Programming Language : Java[Filter]
Research center : Lille - Nord Europe[Filter]
Topic : Scientific/Engineering : Electronic Design Automation \(EDA\)[Filter]
Topic : Software Development : Code Generators[Filter]
Topic : Software Development : Compilers[Filter]

Activity Percentile: 64.83

Registered: 2007-04-26 13:39

OMEGSI - OMEGSI is an integrated development environment (IDE) for collaborative portals. It allows business process-centered modeling, process simulation, process optimization and full code generation for collaborative portals.

Development Status : 2 - Pre-Alpha[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU Affero General Public License v3 \(AGPL\)[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Programming Language : Python[Filter]
Research center : Lille - Nord Europe[Filter]
Topic : Software Development : Code Generators[Filter]
Topic : Software Development : Compilers[Filter]

Activity Percentile: 42.81

Registered: 2011-10-07 17:27

YALTA Toolbox - YALTA is a Matlab toolbox dedicated to the stability analysis of delay systems and fractional delay systems given by their transfer function.

Development Status : 3 - Alpha[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
Natural Language : English (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : Other[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 39.76

Registered: 2013-05-15 19:39

GraSP - Matlab / Octave toolbox for processing and visualization of graphs and graph signals.

Development Status : 5 - Production/Stable[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers (Now Filtering)
Kind : Software (Now Filtering)
License : CeCILL[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : Other[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]
Topic : Scientific/Engineering : Visualization[Filter]

Activity Percentile: 14.07

Registered: 2015-11-13 10:21

Telex2 - A communication infrastructure for collaborative, nomadic applications.

Development Status : 4 - Beta[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers (Now Filtering)
Kind : Software (Now Filtering)
License : OSI Approved : BSD License[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Research center : Rocquencourt[Filter]
Topic : Communications : File Sharing[Filter]
Topic : Software Development[Filter]

Activity Percentile: 7.03

Registered: 2007-04-10 16:13

p2pEdit:decentralized Wiki on P2Pnetwork - p2pEdit (alpha), Wiki décentralisé sur un réseau P2P. Platforme d'édition collaborative décentralisée sur des réseaux pair à pair. Equipe Cassis (Loria)

Development Status : 2 - Pre-Alpha[Filter]
Development Status : 3 - Alpha[Filter]
Environment : Other Environment (Now Filtering)
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Research center : Nancy[Filter]
Topic : Communications[Filter]
Topic : System : Clustering/Distributed Networks[Filter]
Topic : Text Editors[Filter]

Activity Percentile: 6.42

Registered: 2008-05-14 20:08

biohydrodynamics toolbox - Based on recent mathematical advances, biohydrodynamics toolbox gathers a collection of matlab/octave M-files for design, simulation and analysis of articulated bodies' motions in fluid.

Development Status : 4 - Beta[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : Other[Filter]
Research center : Nancy[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.92

Registered: 2008-09-08 09:19

Patate - The C++ Patate Library provides tools to represent, characterize and analyze data commonly used in Computer Graphics through dedicated modules: geometry, light sources, materials.

Development Status : 4 - Beta[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers (Now Filtering)
Kind : Software (Now Filtering)
License : OSI Approved : Mozilla Public License \(MPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : C\+\+[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Multimedia : Graphics[Filter]

Activity Percentile: 0.61

Registered: 2013-03-26 16:13

totitatu - totitatu is a test project.

Development Status : 1 - Planning[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : Other[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering[Filter]

Registered: 2013-05-13 09:40

Satisfaction-based Query Allocation - SbQA is a Satisfaction-based Query Allocation framework for open environments that allows a mediator to allocate queries/requests to providers by mainly satisfying consumers' and providers' interests.
Development Status : 4 - Beta[Filter] Environment : Other Environment (Now Filtering) Intended Audience : Developers (Now Filtering) Kind : Software (Now Filtering) Natural Language : English (Now Filtering) Operating System : OS Independent (Now Filtering) Programming Language : Java[Filter] Research center : Rennes[Filter]	Activity Percentile: 0.00 Registered: 2009-04-09 11:43

Computational Unified Library - Topology - CULT - the Computational Unified Library for Topology This is a project to provide a unified basis to write compatible modules for computational topology, topological data analysis and similar areas, with bindings to external systems.

Development Status : 1 - Planning[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : BSD License[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : C\+\+[Filter]
Programming Language : Python[Filter]
Research center : Saclay - Ile de France[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2009-04-08 13:27

ProActive - ProActive is a GRID Java library for parallel, distributed, and concurrent computing, also featuring mobility and security in a uniform framework. ProActive runs on Local Area Network (LAN), on clusters of workstations, or on Internet Grids.

Development Status : 6 - Mature[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development[Filter]

Registered: 2005-11-24 17:27

Shared Calendar Application - Sakura - Sakura is a collaborative shared calendar application.

Development Status : 2 - Pre-Alpha[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : BSD License[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Research center : Rocquencourt[Filter]
Topic : Office/Business : Scheduling[Filter]
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2008-01-11 11:20

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 (Now Filtering)
Kind : Publication\(s\)[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
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

cmac - CMAC is a new MAC layer optimizing the capacity of a wireless multihops networks with a convergecast traffic pattern. This package contains the source of the simulation models (working wit OPNET Modeler 12.0)

Development Status : 4 - Beta[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers (Now Filtering)
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : C[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 0.00

Registered: 2006-03-17 20:57

Sintaks - Sintaks takes advantage of metamodels to generate fully operational tools for concrete syntaxes. It uses bidirectional mapping-models to support both model-to-text and text-to-model transformations (generators and parsers).

Development Status : 3 - Alpha[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers (Now Filtering)
Kind : Software (Now Filtering)
License : OSI Approved : Eclipse Public Licence[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Programming Language : Other[Filter]
Research center : Rennes[Filter]
Topic : Software Development : Build Tools[Filter]

Activity Percentile: 0.00

Registered: 2007-06-07 15:42

TreeMatchLB - Communication-aware load balancing algorithm for Charm++ with TreeMatch

Development Status : 4 - Beta[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : BSD License[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]

Registered: 2015-05-21 08:19

CDBoost - This library provides model classes for multiple Discrete-Event Simulation formalisms and the tools to simulate those models. The initial submission includes the model classes for describing Discrete-Event System Specification (DEVS) models, Extended DEVS (EDEVS), Parallel DEVS (PDEVS). Simulation engines are provided for the different formalisms, that could be combined for coupling previously developed models. The library is headers only and most internal structures are defined as template to allow interchangeability for specific purpose simulations. The library was completely developed in C++11 and only has dependencies to some other Boost Libraries.

Development Status : 3 - Alpha[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers (Now Filtering)
Kind : Software (Now Filtering)
License : OSI Approved : BSD License[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : C\+\+[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2015-01-23 08:03

Inria EEGLAB Plug-ins - EEGLAB open-source plug-ins developed at INRIA by the Odyssee Project Team

Development Status : 4 - Beta[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : Other[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Scientific/Engineering : Medical Science Apps\.[Filter]

Activity Percentile: 0.00

Registered: 2009-06-15 09:13

22 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2>