Software Map

Project Tree

Now limiting view to projects in the following categories:
Natural Language :: English [Remove This Filter]
Environment :: Console (Text Based) [Remove This Filter]
Kind :: Software [Remove This Filter]

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

22 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2>

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\) (Now Filtering)
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : System Administrators[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Programming Language : Java[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Rocquencourt[Filter]
Topic : Software Development[Filter]

Activity Percentile: 76.09

Registered: 2007-09-06 20:42

SYNTAX - Ensemble d'outils permettant la construction automatique d'analyseurs syntaxiques à partir de leur description grammaticale. Les formalismes reconnus vont des CFG (déterministes ou ambiguës) aux TAG, LFG, RCG, ...

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
License : CeCILL-C[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Programming Language : Perl[Filter]
Research center : Rocquencourt[Filter]
Topic : Software Development : Code Generators[Filter]

Activity Percentile: 58.02

Registered: 2006-07-07 12: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\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : BSD License[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 : Rocquencourt[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 42.27

Registered: 2014-11-06 09:33

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\) (Now Filtering)
Environment : OpenMP[Filter]
Kind : Software (Now Filtering)
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Python[Filter]
Research center : Rocquencourt[Filter]
Topic : Multimedia : Graphics : 3D Modeling[Filter]

Activity Percentile: 25.07

Registered: 2013-07-11 12:04

SimSoC - The SimSoc project aims at developing tools to investigate hardware modeling abstractions for simulation, construction of appropriate simulation engines, and tools to analyze and verify properties of the hardware or embedded software.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : BSD License[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX[Filter]
Programming Language : C\+\+[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering : Electronic Design Automation \(EDA\)[Filter]

Activity Percentile: 24.49

Registered: 2008-05-27 06:24

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\) (Now Filtering)
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Rocquencourt[Filter]
Topic : Software Development : Code Generators[Filter]

Activity Percentile: 18.08

Registered: 2005-11-29 08:30

Polyphemus - Polyphemus is an air quality modeling system, developed by École des ponts, EDF R&D and INRIA. It includes several chemistry-transport models (for radionuclides, photochemistry, aerosols, ...), data assimilation algorithms and ensemble methods.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Fortran[Filter]
Programming Language : Python[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 2.33

Registered: 2008-02-13 16:03

RCCL - Design and implementation of the RCCL v3 language

Development Status : 2 - Pre-Alpha[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Rocquencourt[Filter]
Topic : Software Development : Compilers[Filter]

Activity Percentile: 0.00

Registered: 2010-09-09 12:59

[à jeter]★-IPS [OBSOLETE] - THIS PAGE IS OBSOLETE, PLEASE SEE https://gitlab.inria.fr/bptraffic/star-ips The name ★-IPS covers a family of algorithms, based on Iterative Proportional Scaling, intended for Gaussian Markov random field selection.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : Creative Commons : CC-by-nc-sa[Filter]
Natural Language : English (Now Filtering)
Programming Language : C\+\+[Filter]
Research center : Rocquencourt[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2014-04-18 10:03

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\) (Now Filtering)
Environment : X11 Applications[Filter]
Kind : Software (Now Filtering)
Natural Language : English (Now Filtering)
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
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

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

Holide - An HOL to Dedukti translator.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
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[Filter]

Registered: 2013-05-31 09:06

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[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
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[Filter]

Activity Percentile: 0.00

Registered: 2012-10-26 11:28

Puiseux's theorem - - Formal proof in Coq of Puiseux's theorem. - Program computing roots of a Puiseux series polynomial.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : CeCILL-B[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : Objective-Caml[Filter]
Programming Language : Other[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2014-09-14 10:01

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\) (Now Filtering)
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]
Topic : Security : Cryptography[Filter]

Registered: 2017-02-07 15:44

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\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
Kind : Work group[Filter]
License : Other/Proprietary License[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2007-11-29 15: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\) (Now Filtering)
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
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

Caml-get - Caml-get is a tool to distribute and get Objective-Caml code, in a way similar to the apt-get utility.

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

Activity Percentile: 0.00

Registered: 2006-02-28 08:54

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

Development Status : 2 - Pre-Alpha[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Python[Filter]
Research center : Rocquencourt[Filter]
Topic : Software Development : Build Tools[Filter]

Activity Percentile: 0.00

Registered: 2009-06-17 15:29

CarGeo6 public release - an open source implementation of IPv6 GeoNetworking stack for vehicular communications, conforming with GeoNet specification D2.2

Development Status : 3 - Alpha[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : Other OS[Filter]
Programming Language : C[Filter]
Research center : Rocquencourt[Filter]
Topic : Communications[Filter]

Activity Percentile: 0.00

Registered: 2011-04-14 22:35

22 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2>