Software Map

Project Tree

Now limiting view to projects in the following categories:
Operating System :: MacOS [Remove This Filter]
Development Status :: 3 - Alpha [Remove This Filter]
Operating System :: POSIX :: GNU/Linux [Remove This Filter]

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

12 projects in result set.

iStoa.net - iSTOA.net est une plateforme pédagogique d'activités interactives et de suivi par Internet. Son utilisation est multiple : utilisation en classe, utilisation à la maison ou en remédiation avec suivi différé par l'enseignant.

Development Status : 3 - Alpha (Now Filtering)
Environment : Web Environment[Filter]
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : OSI Approved : MIT/X Consortium License[Filter]
Natural Language : French[Filter]
Operating System : MacOS (Now Filtering)
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Smalltalk[Filter]
Research center : Lille - Nord Europe[Filter]
Topic : Education : Computer Aided Instruction \(CAI\)[Filter]

Activity Percentile: 77.78

Registered: 2008-05-16 08:15

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

Registered: 2007-03-21 14:03

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

Development Status : 3 - Alpha (Now Filtering)
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 (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: 40.38

Registered: 2014-11-06 09:33

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

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

Registered: 2006-10-18 11:29

ANR-NOSSI - New simulation tools for large scale modelling of hybrid materials

Development Status : 3 - Alpha (Now Filtering)
Environment : MPI[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Publication\(s\)[Filter]
Kind : Software[Filter]
Kind : Work group[Filter]
Natural Language : French[Filter]
Operating System : MacOS (Now Filtering)
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C\+\+[Filter]
Programming Language : Fortran[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 16.53

Registered: 2008-02-18 14:04

scalable and interactive Virtual Reality - Relying on OpenSceneGraph and openMPI, isiVR provides an easy way to build virtual reality applications. It supports various kind of display (CAVE like, power walls, 3D TV, etc) and can run either on a cluster or a workstation.

Development Status : 3 - Alpha (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[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 : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C\+\+[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Multimedia : Graphics[Filter]
Topic : Multimedia : Sound/Audio[Filter]
Topic : Scientific/Engineering : Visualization[Filter]

Activity Percentile: 0.00

Registered: 2012-09-28 11:12

ALTA - ALTA is a general-purpose library designed to help analyze and use measured material data such as BRDFs (Bidirectional Reflectance Distribution Functions). It provides a generic set of tools to analyze and fit BRDF data and models.

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Environment : OpenMP[Filter]
Kind : Software[Filter]
License : OSI Approved : Mozilla Public License \(MPL\)[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]
Programming Language : Python[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Multimedia : Graphics[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 0.00

Registered: 2013-11-06 11:11

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 (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
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

PoLAR - Portable Library for Augmented Reality Software library for fast prototyping of Qt-based GUIs for Augmented Reality applications.

Development Status : 3 - Alpha (Now Filtering)
Environment : Win32 \(MS Windows\)[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 : MacOS (Now Filtering)
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C\+\+[Filter]
Research center : Nancy[Filter]
Topic : Multimedia : Graphics : Viewers[Filter]
Topic : Scientific/Engineering : Medical Science Apps\.[Filter]
Topic : Scientific/Engineering : Visualization[Filter]

Activity Percentile: 0.00

Registered: 2014-10-14 15:43

TLA+ tools - The Proof Manager and the GUI toolbox for the TLA+2 specification and proof language.

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : BSD License[Filter]
Natural Language : English[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 : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2009-09-21 09:47

FaceAnimation - FaceAnimation is a software to animate human avatars based of the MPEG4 face animation standard (.fap) for any WRML face mesh using the Candide3 face model to (semi-automatically) project.

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Publication\(s\)[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : MacOS (Now Filtering)
Operating System : Microsoft : Windows : Windows 95/98/2000[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C\+\+[Filter]
Research center : Nancy[Filter]
Topic : Multimedia : Graphics : 3D Modeling[Filter]
Topic : Multimedia : Video : Capture[Filter]
Topic : Scientific/Engineering : Visualization[Filter]

Activity Percentile: 0.00

Registered: 2010-07-20 07:24