Software Map
Project Tree
Now limiting view to projects in the following categories:
Programming Language :: Other [Remove This Filter]
|
Browse By: |
18 projects in result set.
Tom
- Tom is an extension of Java designed to manipulate tree structures and XML documents. | |
|
Activity Percentile: 85.13 Registered: 2005-09-09 14:00 |
CoqFiniteGroups
- Formal proof of the Feit-Thompson theorem
Ssreflect plugin for the Coq proof assistant | |
|
Activity Percentile: 80.17 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. | |
|
Activity Percentile: 62.10 Registered: 2013-05-15 19:39 |
Kermeta
- Kermeta is a Model-Oriented language based on an object-oriented executable meta-modeling paradigm.
It features a comprehensive environment for MetaModel Engineering.
It is built as an executable extension to MOF. | |
|
Activity Percentile: 60.35 Registered: 2005-06-29 12:30 |
GraSP
- Matlab / Octave toolbox for processing and visualization of graphs and graph signals. | |
|
Activity Percentile: 29.74 Registered: 2015-11-13 10:21 |
Inria EEGLAB Plug-ins
- EEGLAB open-source plug-ins developed at INRIA by the Odyssee Project Team | |
|
Activity Percentile: 16.03 Registered: 2009-06-15 09:13 |
Mathematica Tools
- Mathematica Tools is a project gathering several Mathematica packages on various topics. | |
|
Activity Percentile: 11.08 Registered: 2006-10-06 14:45 |
MTL
- MTL is a Model Transformation Language using an objet oriented paradigm. MOF based,it uses a consistent way to access the model elements and the transformation objects. | |
|
Activity Percentile: 0.00 Registered: 2005-09-08 11:31 |
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. | |
|
Activity Percentile: 0.00 Registered: 2010-05-21 08:41 |
totitatu
- totitatu is a test project. | |
|
Registered: 2013-05-13 09:40 |
Dynaco
- Dynaco (Dynamic Adaptation for Components) is a framework that helps in designing and implementing dynamic adaptability for components. | |
|
Activity Percentile: 0.00 Registered: 2006-02-03 10:20 |
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. | |
|
Activity Percentile: 0.00 Registered: 2008-09-08 09:19 |
Compilateur HOCL
- HOCL est un langage de programmation chimique à l'ordre supérieur. Ce compilateur s'appuie sur Java et autorise l'utilisation simultanée de programme HOCL et Java. | |
|
Activity Percentile: 0.00 Registered: 2009-07-06 08:14 |
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). | |
|
Activity Percentile: 0.00 Registered: 2007-06-07 15:42 |
Puiseux's theorem
- - Formal proof in Coq of Puiseux's theorem.
- Program computing roots of a Puiseux series polynomial. | |
|
Activity Percentile: 0.00 Registered: 2014-09-14 10:01 |
WCDMA Matlab
- Simulation WCDMA sur Matlab, estimation de la dynamique et de précision. Puis, implémentation en virgule fixe. | |
Activity Percentile: 0.00 Registered: 2008-04-06 16:26 |
OSA
- OSA (Open Simulation Architecture) is an open component-based architecture for discrete-event simulations based on the ObjectWeb's Fractal component model and the Eclipse platform. | |
|
Activity Percentile: 0.00 Registered: 2006-07-20 14:47 |
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 | |
|
Activity Percentile: 0.00 Registered: 2007-07-05 21:25 |