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]
Natural Language :: English [Remove This Filter]
28 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[Filter]
- 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: 79.39
Registered: 2006-06-21 14:09 |
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[Filter]
- 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: 60.45
Registered: 2013-05-15 19:39 |
GRUDU
- GRUDU is a GUI for Grid'5000 Reservation and Deployment Usage. |
- Development Status : 5 - Production/Stable[Filter]
- Environment : Other Environment (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software (Now Filtering)
- License : CeCILL[Filter]
- Natural Language : English (Now Filtering)
- Operating System : OS Independent (Now Filtering)
- Programming Language : Java[Filter]
- Research center : Montbonnot[Filter]
- Topic : System : Clustering/Distributed Networks[Filter]
|
Activity Percentile: 59.61
Registered: 2008-04-04 11:43 |
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[Filter]
- 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: 50.42
Registered: 2007-04-26 13: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[Filter]
- 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: 16.99
Registered: 2015-11-13 10:21 |
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[Filter]
- 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: 13.65
Registered: 2013-03-26 16:13 |
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 (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: 12.53
Registered: 2007-12-28 08:17 |
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[Filter]
- 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: 10.31
Registered: 2009-06-15 09:13 |
Telex2
- A communication infrastructure for collaborative, nomadic applications. |
- Development Status : 4 - Beta[Filter]
- Environment : Other Environment (Now Filtering)
- Intended Audience : Developers[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 : Communications : File Sharing[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 4.18
Registered: 2007-04-10 16:13 |
TreeMatchLB
- Communication-aware load balancing algorithm for Charm++ with TreeMatch |
- Development Status : 4 - Beta[Filter]
- Environment : Other Environment (Now Filtering)
- Intended Audience : Developers[Filter]
- 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 |
totitatu
- totitatu is a test project. |
- Development Status : 1 - Planning[Filter]
- Environment : Other Environment (Now Filtering)
- Intended Audience : Developers[Filter]
- 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 |
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[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 : Java[Filter]
- Research center : Sophia Antipolis[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : Software Development[Filter]
|
Registered: 2005-11-24 17:27 |
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[Filter]
- 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: 0.00
Registered: 2011-10-07 17:27 |
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 (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software (Now Filtering)
- License : CeCILL[Filter]
- Natural Language : English (Now Filtering)
- 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 |
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[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 : C[Filter]
- Research center : Montbonnot[Filter]
- Topic : Scientific/Engineering[Filter]
|
Activity Percentile: 0.00
Registered: 2006-03-17 20:57 |
CMA-ES global stochastic optimizer
- The CMA-ES (Covariance Matrix Adaptation Evolution Strategy) is a global stochastic optimizer for difficult non-linear, non-convex continuous domain objective functions. See http://www.lri.fr/~hansen/cmaesintro.html |
- Development Status : 1 - Planning[Filter]
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Other Environment (Now Filtering)
- Intended Audience : Other Audience[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : OS Independent (Now Filtering)
- Programming Language : C[Filter]
- Programming Language : Java[Filter]
- Programming Language : Other[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2007-07-05 21:25 |
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[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]
- Research center : Sophia Antipolis[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2015-01-23 08:03 |
Marte MetaModel
- An implementation of the Mart Meta-Model (based on OMG's Marte Profile) with Eclipse Modeling Framework (EMF). |
- Development Status : 4 - Beta[Filter]
- Environment : Other Environment (Now Filtering)
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : Eclipse Public Licence[Filter]
- Natural Language : English (Now Filtering)
- Operating System : OS Independent (Now Filtering)
- Programming Language : Java[Filter]
- Research center : Lille - Nord Europe[Filter]
|
Activity Percentile: 0.00
Registered: 2009-01-08 10:01 |
Standard C Atomics
- This project provides an implementation of the C11 interface for atomic operations, based on compiler extensions as are provided by gcc and clang. |
- Development Status : 3 - Alpha[Filter]
- Environment : Other Environment (Now Filtering)
- Intended Audience : Developers[Filter]
- Intended Audience : System Administrators[Filter]
- Kind : Software (Now Filtering)
- License : Creative Commons : CC-by[Filter]
- Natural Language : English (Now Filtering)
- Operating System : OS Independent (Now Filtering)
- Operating System : POSIX[Filter]
- Programming Language : C[Filter]
- Research center : Nancy[Filter]
- Topic : Software Development : Compilers[Filter]
- Topic : System : Hardware[Filter]
|
Activity Percentile: 0.00
Registered: 2015-11-26 15:32 |
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[Filter]
- 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 |
28 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1>
<2>