Software Map

Project Tree

Now limiting view to projects in the following categories:
Operating System :: POSIX :: GNU/Linux [Remove This Filter]

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

20 projects in result set.

SODIAC - SODIAC stands for SOftware DIstribution Analysis Chain. Documentation is available on the wiki: http://gforge.inria.fr/plugins/wiki/index.php?id=929&type=g

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : System Administrators[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C[Filter]
Programming Language : Java[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Rocquencourt[Filter]
Topic : Software Development[Filter]

Activity Percentile: 76.00

Registered: 2007-09-06 20:42

CardioViz3D - CardioViz3D is a software dedicated to cardiac data processing, assimilation and visualization. It is part of CardioSense3D, a Large Initiative Action (http://www-sop.inria.fr/CardioSense3D), and targets researchers as well as clinicians.

Development Status : 3 - Alpha[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : Other/Proprietary License[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C\+\+[Filter]
Research center : Rocquencourt[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Scientific/Engineering : Medical Science Apps\.[Filter]
Topic : Scientific/Engineering : Visualization[Filter]

Activity Percentile: 64.29

Registered: 2007-03-21 14:03

Datalift - The Datalift platform aims at easing and automating publication of raw structured datasets on the Web of data. // La plateforme Datalift est un toolkit pour facilement et automatiquement publier des jeux de données structurés sur le Web des données.

Development Status : 3 - Alpha[Filter]
Development Status : 4 - Beta[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Intended Audience : Other Audience[Filter]
Kind : Publication\(s\)[Filter]
Kind : Software[Filter]
Kind : Work group[Filter]
License : CeCILL[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Java[Filter]
Programming Language : JavaScript[Filter]
Research center : Montbonnot[Filter]
Research center : Rocquencourt[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Database : Database Engines/Servers[Filter]
Topic : Database : Front-Ends[Filter]
Topic : Other/Nonlisted Topic[Filter]

Registered: 2010-09-30 13:05

Zenon (automated theorem prover) - Automated theorem prover for first order logic with equality, based on the tableau method.

Development Status : 3 - Alpha[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
License : OSI Approved : BSD License[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 40.86

Registered: 2014-11-06 09:33

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.

Development Status : 3 - Alpha[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
License : CeCILL-B[Filter]
License : OSI Approved : Eclipse Public Licence[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Java[Filter]
Programming Language : Other[Filter]
Research center : Rennes[Filter]
Research center : Rocquencourt[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Software Development : Build Tools[Filter]
Topic : Software Development : Code Generators[Filter]

Activity Percentile: 34.00

Registered: 2006-10-18 11:29

Multi-View Stereo - Tools to construct a 3D structure of a scene from a set of photographs.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : OpenMP[Filter]
Kind : Software[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C\+\+[Filter]
Programming Language : Python[Filter]
Research center : Rocquencourt[Filter]
Topic : Multimedia : Graphics : 3D Modeling[Filter]

Activity Percentile: 23.71

Registered: 2013-07-11 12:04

Yacclib - Yacclib is an OCaml library to parse and print ocamlyacc .mly files. A graphical editor of ocamlyacc files is included.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Rocquencourt[Filter]
Topic : Software Development : Code Generators[Filter]

Activity Percentile: 18.86

Registered: 2005-11-29 08:30

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\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Programming Language : Other[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 5.71

Registered: 2012-10-26 11:28

CaWoF - Calculates of Work Factor of an ISD algorithm in the code rate and error rate. Default algorithm is BJMM, default code rate is 0.5 and defaut error rate is s Gilbert-Varshamov's bound. Available algorithms are PRANGE, STERN, DUMER, MMT, BJMM and NN.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]
Topic : Security : Cryptography[Filter]

Registered: 2017-02-07 15:44

syndex_dspic_kernels - Fault-tolerant SynDEx kernel for dsPIC33f with applications.

Development Status : 4 - Beta[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : Other/Proprietary License[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Assembly[Filter]
Programming Language : C[Filter]
Programming Language : M4[Filter]
Research center : Rocquencourt[Filter]
Topic : Software Development : Build Tools[Filter]
Topic : Software Development : Code Generators[Filter]
Topic : System[Filter]

Activity Percentile: 0.00

Registered: 2010-12-17 14:35

ArchSat - ArchSat is a prototype of a very modular SMT theorem prover using tableaux rules for deduction.

Development Status : 3 - Alpha[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Registered: 2015-07-17 09:15

Libopt-public - The Libopt package is a set of tools that can used for testing, comparing, and profiling solvers on heterogeneous collections of problems.

Development Status : 6 - Mature[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : Other/Proprietary License[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Fortran[Filter]
Programming Language : Perl[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2007-10-30 13:41

Coqine - A Coq to Dedukti translator.
Development Status : 4 - Beta[Filter] Environment : Console \(Text Based\)[Filter] Intended Audience : Developers[Filter] Kind : Software[Filter] Natural Language : English[Filter] Operating System : POSIX : GNU/Linux (Now Filtering) Programming Language : Objective-Caml[Filter] Research center : Rocquencourt[Filter] Topic : Software Development[Filter]	Activity Percentile: 0.00 Registered: 2013-05-24 11:51

Net Waves - This code allows to solve time-domain acoustic wave equation on a finite network, using finite element method with mass-lumping and the particular structure of the network.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : X11 Applications[Filter]
Kind : Software[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C\+\+[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]
Topic : Scientific/Engineering : Visualization[Filter]

Activity Percentile: 0.00

Registered: 2009-07-15 08:20

PuppetMaster - PuppetMaster provides facilities to deal with computations on a Linux network.

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 : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Python[Filter]
Research center : Rocquencourt[Filter]
Topic : Software Development : Build Tools[Filter]

Activity Percentile: 0.00

Registered: 2009-06-17 15:29

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[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Research center : Rocquencourt[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Software Development : Version Control[Filter]

Registered: 2011-03-14 13:48

MyCGR - MyCGR is an Objective-Caml library and a collection of tools to make experiments using the Chaos Game Representation on DNA sequences (test of structure of sequences, taxonomy, ...).

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

Activity Percentile: 0.00

Registered: 2006-03-13 08:48

RS development - Logiciel pour l'isolation des racines réelles de systèmes algébriques. Software for isolating the real roots of algebraic systems.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
Kind : Work group[Filter]
License : Other/Proprietary License[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2007-11-29 15:48

Holide - An HOL to Dedukti translator.

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

Registered: 2013-05-31 09:06

OCaml-share - Share is a(nother) library of useful OCaml functions and modules. But it can be used as a classic OCaml library (download, compile, install, use and link with), or with Caml-get, since all elements are exported in a caml-get archive.

Development Status : 4 - Beta[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Rocquencourt[Filter]
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2006-03-02 09:04