Software Map
Project Tree
Now limiting view to projects in the following categories:
Programming Language :: Other [Remove This Filter]
|
Browse By: |
22 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2>
Yael
- Yael is a C/python/Matlab library providing optimized (multi-threaded, Blas/Lapack, low level optimization) implementations of computationally demanding functions, such as k-means and exact nearest neighbor search. See the Project home page for documentation. | |
|
Activity Percentile: 77.22 Registered: 2009-07-21 12:05 |
CoqFiniteGroups
- Formal proof of the Feit-Thompson theorem
Ssreflect plugin for the Coq proof assistant | |
|
Activity Percentile: 68.34 Registered: 2006-06-21 14:09 |
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: 65.68 Registered: 2005-06-29 12:30 |
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: 45.86 Registered: 2013-05-15 19:39 |
OpenEmbeDD
- OpenEmbeDD is an ANR project.
Its goal is to build an open-source platform for Model Driven Engineering of Real Time and embedded systems. | |
|
Activity Percentile: 41.42 Registered: 2006-10-18 11:29 |
Kermeta2
- Kermeta2 is the major evolution of Kermeta : This tool helps to build other tool by weaving behavior in metamodels. | |
|
Activity Percentile: 36.69 Registered: 2012-09-07 12:50 |
Prégroupes
- Grammaires de prégroupes. | |
|
Activity Percentile: 28.70 Registered: 2007-09-28 14:36 |
FracLab
- FracLab is a general purpose signal and image processing toolbox based on fractal and multifractal methods. | |
|
Activity Percentile: 28.11 Registered: 2008-11-03 11:16 |
mmx
- Mathemagix, a system for algebraic and analytic computation | |
|
Activity Percentile: 26.33 Registered: 2007-02-09 13:20 |
GraSP
- Matlab / Octave toolbox for processing and visualization of graphs and graph signals. | |
|
Activity Percentile: 18.93 Registered: 2015-11-13 10:21 |
totitatu
- totitatu is a test project. | |
|
Registered: 2013-05-13 09:40 |
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 |
Dedukti
- A type-checker for λΠ-modulo user-defined rewrite rules. The latest version is available under opam. | |
|
Activity Percentile: 0.00 Registered: 2012-10-26 11:28 |
GeCoS
- GECOS (Generic Compiler Suite) is a generic compilation platform, extensible by a plugin mechanism. | |
|
Activity Percentile: 0.00 Registered: 2006-10-04 12:45 |
sams
- sams stands for "Synchronous Autonomic Management Software"; it is a tool demonstrating the use of reactive design techniques in the context of autonomic management systems. | |
|
Activity Percentile: 0.00 Registered: 2014-01-20 13:32 |
Inria EEGLAB Plug-ins
- EEGLAB open-source plug-ins developed at INRIA by the Odyssee Project Team | |
|
Activity Percentile: 0.00 Registered: 2009-06-15 09:13 |
6lowpan Test Platform
- A lib for running 6lowpan tests in TTCN-3 (including type definitions, codecs & adapters) | |
|
Registered: 2012-05-22 14:59 |
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 |
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 |
22 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2>