Software Map

Project Tree

Now limiting view to projects in the following categories:
Development Status :: 3 - Alpha [Remove This Filter]
Intended Audience :: Developers [Remove This Filter]
Kind :: Software [Remove This Filter]

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

14 projects in result set.

geogram - fast, simple and easy-to-use primitives for geometric programming

Development Status : 3 - Alpha (Now Filtering)
Intended Audience : Developers (Now Filtering)
Kind : Software (Now Filtering)
License : OSI Approved : BSD License[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Research center : Nancy[Filter]
Topic : Multimedia : Graphics : 3D Modeling[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 94.75

Registered: 2014-03-22 10:05

Heptagon - Research compiler for an experimental dialect of Lustre.

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software (Now Filtering)
Operating System : MacOS[Filter]
Operating System : POSIX[Filter]
Programming Language : Objective-Caml[Filter]
Topic : Software Development : Code Generators[Filter]
Topic : Software Development : Compilers[Filter]

Activity Percentile: 85.42

Registered: 2010-05-28 13:41

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 (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : MIT/X Consortium License[Filter]
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Smalltalk[Filter]
Research center : Lille - Nord Europe[Filter]
Topic : Education : Computer Aided Instruction \(CAI\)[Filter]

Activity Percentile: 79.30

Registered: 2008-05-16 08:15

PLASTIC Middleware Platform - The PLASTIC project will design and implement a prototype of a service-oriented middleware supporting the PLASTIC methodology for service development (http://www.ist-plastic.fr).

Development Status : 3 - Alpha (Now Filtering)
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : Other OS[Filter]
Programming Language : Java[Filter]
Research center : Rocquencourt[Filter]

Registered: 2007-03-05 10:36

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 (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : Other/Proprietary License[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
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: 65.31

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 (Now Filtering)
Development Status : 4 - Beta[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Intended Audience : Other Audience[Filter]
Kind : Publication\(s\)[Filter]
Kind : Software (Now Filtering)
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[Filter]
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 (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : BSD License[Filter]
Natural Language : English[Filter]
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

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

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

Activity Percentile: 32.94

Registered: 2008-02-18 14:04

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 (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
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[Filter]
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: 12.54

Registered: 2006-10-18 11:29

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 (Now Filtering)
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
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 (Now Filtering)
Kind : Software (Now Filtering)
License : OSI Approved : BSD License[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
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

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

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 (Now Filtering)
Kind : Publication\(s\)[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows : Windows 95/98/2000[Filter]
Operating System : POSIX : GNU/Linux[Filter]
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

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 (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Rennes[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2015-04-22 14:56