Software Map

Project Tree

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

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

13 projects in result set.

Visual Trace Explorer - This project aims at developing a Pajé like visualizer trace explorer in C++ programming language with OpenGL and Qt technologies.

Development Status : 5 - Production/Stable[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Intended Audience : Other Audience (Now Filtering)
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : MacOS (Now Filtering)
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C\+\+[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering : Visualization[Filter]
Topic : Software Development : Debuggers[Filter]

Activity Percentile: 72.07

Registered: 2008-11-14 09:11

Perfect SImulator - PSI is a software simulator of Markov chains on large discrete state space. It samples steady state distribution in finite time by the method "coupling from the past".

Intended Audience : End Users/Desktop[Filter]
Intended Audience : Other Audience (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS (Now Filtering)
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 60.96

Registered: 2005-11-24 16:37

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 (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : BSD License[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS (Now Filtering)
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: 31.23

Registered: 2014-11-06 09:33

Porgy - PORGY is an interactive visual environment for modelling complex systems through graphs and graph rewriting rules. See http://porgy.labri.fr for more details and up to date information.

Development Status : 4 - Beta[Filter]
Environment : Other Environment[Filter]
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Other Audience (Now Filtering)
Kind : Publication\(s\)[Filter]
Kind : Software[Filter]
Kind : Work group[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : MacOS (Now Filtering)
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C\+\+[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : System[Filter]

Activity Percentile: 20.42

Registered: 2009-03-04 15:39

SYNAPS (Symbolic Numeric ApplicationS) - SYNAPS is a library for symbolic and numeric computations, which provides vectors, matrices, univariate and multivariate polynomials, ... data-structures. It contains polynomials solvers, tools for the manipulation of algebraic numbers, resultants, ...

Development Status : 5 - Production/Stable[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience (Now Filtering)
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : MacOS (Now Filtering)
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C\+\+[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 20.12

Registered: 2005-10-06 08:57

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 (Now Filtering)
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 (Now Filtering)
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: 13.51

Registered: 2006-10-18 11:29

LexiComp - The Lexicomp project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme)

Development Status : 2 - Pre-Alpha[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Intended Audience : Other Audience (Now Filtering)
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS (Now Filtering)
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Nancy[Filter]
Topic : Software Development : Compilers[Filter]

Activity Percentile: 12.31

Registered: 2009-11-10 11:10

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 (Now Filtering)
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 (Now Filtering)
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

ReaTK - Reactive systems verification and synthesis toolkit. This project distributes the ReaX tool for solving discrete controller synthesis problems for infinite state systems given as Controllable-Nbac programs, plus several libraries for handling such files and models. A version of the ReaVer tool is also included.

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

Activity Percentile: 0.00

Registered: 2015-04-22 14:56

VRPN 2 Ogre - Convert events from VRPN to forces applied to objects in a 3-D immersive environment in order to setup fast demo using a Brain Computer Interface

Development Status : 4 - Beta[Filter]
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : MacOS (Now Filtering)
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C\+\+[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Multimedia : Graphics[Filter]
Topic : Scientific/Engineering : Human Machine Interfaces[Filter]

Registered: 2012-01-05 18:07

Monolix - Développement du logiciel Monolix

Development Status : 5 - Production/Stable[Filter]
Environment : Other Environment[Filter]
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications : KDE[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience (Now Filtering)
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : MacOS (Now Filtering)
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C\+\+[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]
Topic : Scientific/Engineering : Medical Science Apps\.[Filter]

Registered: 2006-10-02 09:21

Rapid HYbrid MultICore Simulator - Multicore simulators are valuable tools for evaluating design trade-offs and research ideas. However, simulation process is an extremely time consuming task. RHYMICS project pretends to accelerate the simulation without sacrifice excessive accuracy.

Development Status : 1 - Planning[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : MacOS (Now Filtering)
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Assembly[Filter]
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Research center : Rennes[Filter]
Topic : System : Hardware[Filter]

Activity Percentile: 0.00

Registered: 2010-02-17 15:38

SToRM - SToRM is a software tool primarily proposed for mapping Illumina or SOLiD reads to a reference genome. SToRM uses spaced seeds and SIMD bandwidth alignment (SSE,SSE2,AVX2,AVX512).

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : OpenMP[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Intended Audience : Other Audience (Now Filtering)
Kind : Software[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS (Now Filtering)
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Assembly[Filter]
Programming Language : C[Filter]
Research center : Lille - Nord Europe[Filter]
Topic : Scientific/Engineering : Bio-Informatics[Filter]

Registered: 2013-10-02 07:50