Software Map

Project Tree

Now limiting view to projects in the following categories:
Environment :: Console (Text Based) [Remove This Filter]
Topic :: Scientific/Engineering [Remove This Filter]
Natural Language :: English [Remove This Filter]
Intended Audience :: Developers [Remove This Filter]

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

12 projects in result set.

Siconos - This software is dedicated to the modeling, the simulation and the control of NonSmooth Dynamical Systems with main applications to the nonsmooth Mechanics (impact, contact and friction) and the nonsmooth Electricity (diodes and MOS transistors).

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Fortran[Filter]
Programming Language : Python[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : Software Development[Filter]

Activity Percentile: 81.04

Registered: 2005-02-25 10:20

MPTK: The Matching Pursuit ToolKit - The Matching Pursuit Tool Kit (MPTK) provides a fast implementation of the Matching Pursuit algorithm for the sparse decomposition and plotting of multichannel audio signals. It comprises a library, standalone utilities, and Matlab+Python wrappers.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX[Filter]
Programming Language : C\+\+[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 77.20

Registered: 2005-06-30 13:31

Kaapi - KAAPI "Kernel for Adaptative, Asynchronous Parallel and Interactive programming" is a C++ library that allows to execute fine/medium grain multithreaded computation with dynamic data flow synchronizations.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : OpenMP[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Fortran[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : Software Development[Filter]
Topic : System : Clustering/Distributed Networks[Filter]

Activity Percentile: 64.56

Registered: 2005-10-06 11:03

Cycab Toolkit - This project aims to provide a development toolkit dedicated to mobile robotic platforms such as Cycab (simulator, middleware ...).

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : X11 Applications[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Python[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 40.11

Registered: 2005-07-05 08:46

ZenoSolver - ZenoSolver is a C++11 software dedicated to generate and solve MultiZenoTravel instances.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : OpenMP[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
License : CeCILL-B[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 25.27

Registered: 2014-04-03 06:13

Dedukti - A type-checker for λΠ-modulo user-defined rewrite rules. The latest version is available under opam.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml[Filter]
Programming Language : Other[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 12.64

Registered: 2012-10-26 11:28

Holide - An HOL to Dedukti translator.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : CeCILL-B[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering (Now Filtering)

Registered: 2013-05-31 09:06

Rainbow - This project aims at developing a grammar for termination proofs and a tool for automatically certifying those proofs using the Coq library CoLoR.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml[Filter]
Topic : Scientific/Engineering (Now Filtering)

Registered: 2006-09-07 09:02

CoRDAGe - CoRDAGe is a co-deployment and re-deployment tool for grid applications. It interfaces distributed applications with grid middlewares in charge of node reservation and deployment. http://cordage.gforge.inria.fr

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : No Input/Output \(Daemon\)[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : System Administrators[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Perl[Filter]
Research center : Rennes[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : System : Clustering/Distributed Networks[Filter]

Activity Percentile: 0.00

Registered: 2008-01-10 14:27

Sémagramme - Regroupement des projets publics de l'équipe Sémagramme

Development Status : 4 - Beta[Filter]
Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : Web Environment[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : CeCILL-B[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Nancy[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 0.00

Registered: 2011-06-15 08:03

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.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
Kind : Work group[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Programming Language : Other[Filter]
Research center : Rennes[Filter]
Topic : Internet[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 0.00

Registered: 2009-07-06 08:14

Ordered Read-Write Locks - ORWL is a reference implementation of Ordered Read-Write Locks, a programming model and API for parallel and distributed computing. ORWL is at the same time simple to use and efficient and provides deadlock-freeness and equity for iterative programs.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : BSD License[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Research center : Nancy[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2012-12-29 14:16