Software Map
Project Tree
Now limiting view to projects in the following categories:
Operating System :: OS Independent [Remove This Filter]
16 projects in result set.
Gappa
- Tool for verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. It can be used either directly or as a back-end for other tools, e.g. Coq or Why.
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent (Now Filtering)
- Programming Language : C\+\+[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 92.25
Registered: 2009-09-16 08:55 |
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[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent (Now Filtering)
- Programming Language : Other[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering[Filter]
|
Activity Percentile: 39.08
Registered: 2013-05-15 19:39 |
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\)[Filter]
- 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: 14.26
Registered: 2006-06-21 14:09 |
totitatu
- totitatu is a test project.
|
- Development Status : 1 - Planning[Filter]
- Environment : Other Environment[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- 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 |
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[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- 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 |
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\)[Filter]
- 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 |
Formation CVS et SVN
- Support de cours pour la formation "utilisation de CVS et Subversion"
|
- Development Status : 6 - Mature[Filter]
- Intended Audience : Developers[Filter]
- Kind : Publication\(s\)[Filter]
- License : Creative Commons : CC-by-nc-sa[Filter]
- Natural Language : French[Filter]
- Operating System : OS Independent (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Research center : Rocquencourt[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Software Development : Version Control[Filter]
|
Registered: 2011-03-14 13:48 |
ZUIST-HAL
- ZUIST-HAL provides a zoomable user interface for browsing large collections of scientific publications.
|
- Development Status : 3 - Alpha[Filter]
- Intended Audience : End Users/Desktop[Filter]
- 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 : Montbonnot[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Multimedia : Graphics : Presentation[Filter]
- Topic : Scientific/Engineering : Human Machine Interfaces[Filter]
|
Activity Percentile: 0.00
Registered: 2009-12-08 09:06 |
seven
- Centralisation des développements et documents concernant le projet ANR SEVEN.
|
- Development Status : 4 - Beta[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : French[Filter]
- Operating System : Microsoft : Windows : Windows NT/2000[Filter]
- Operating System : OS Independent (Now Filtering)
- Research center : Saclay - Ile de France[Filter]
|
Activity Percentile: 0.00
Registered: 2006-03-08 11:59 |
Formation Gforge INRIA
- Formation à l'utilisation de la GForge INRIA.
|
- Development Status : 5 - Production/Stable[Filter]
- Intended Audience : Developers[Filter]
- Kind : Publication\(s\)[Filter]
- License : Creative Commons : CC-by-nc-sa[Filter]
- Natural Language : French[Filter]
- Operating System : OS Independent (Now Filtering)
- Research center : Rocquencourt[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Software Development[Filter]
|
Registered: 2011-03-14 13:49 |
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[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- 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 |
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[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : BSD License[Filter]
- Natural Language : English[Filter]
- 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 |
Vimagine-code
- Vimagine-code is devoted to provide the code sharing infrastructure for the VIMAGINE ANR blanc project (2009-2012) that is, fMRI and MEG data analysis tools for different visual system investigation.
|
- Development Status : 1 - Planning[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Work group[Filter]
- License : OSI Approved : BSD License[Filter]
- Natural Language : English[Filter]
- 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 : Bio-Informatics[Filter]
- Topic : Scientific/Engineering : Medical Science Apps\.[Filter]
|
Activity Percentile: 0.00
Registered: 2010-07-13 16:05 |
Sigma Lenses
- Sigma Lenses are magnification lenses that achieve smooth transitions between focus and context through spatial distortion, translucence, and time. This project hosts various implementations, including one for OpenGL scenes based on fragment shaders.
|
- Development Status : 4 - Beta[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : BSD License[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent (Now Filtering)
- Research center : Saclay - Ile de France[Filter]
- Topic : Multimedia : Graphics[Filter]
- Topic : Scientific/Engineering : Visualization[Filter]
|
Activity Percentile: 0.00
Registered: 2008-03-31 06:57 |
OntoTrix
- OntoTrix is a visualization technique designed to enable users to visualize large OWL ontology instance sets. The technique uses both node-link and adjacency matrix representations of graphs to visualize the data.
|
- Development Status : 3 - Alpha[Filter]
- Environment : Win32 \(MS Windows\)[Filter]
- Environment : X11 Applications[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : BSD License[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent (Now Filtering)
- Programming Language : Java[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Multimedia : Graphics : Viewers[Filter]
- Topic : Scientific/Engineering : Visualization[Filter]
|
Activity Percentile: 0.00
Registered: 2010-06-27 09:23 |
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[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- 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 |
