Software Map

Project Tree

Now limiting view to projects in the following categories:
Operating System :: MacOS [Remove This Filter]
Kind :: Software [Remove This Filter]
Intended Audience :: End Users/Desktop [Remove This Filter]

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

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

CryptoMiniSat - CryptoMiniSat is a state-of-the-art SAT solver incorporating many ideas. For a list, please visit http://www.msoos.org/2013/04/cryptominisat-3-0-released/ The source is available on github: https://github.com/msoos/cryptominisat

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Software (Now Filtering)
License : OSI Approved : MIT/X Consortium License[Filter]
Natural Language : English[Filter]
Operating System : MacOS (Now Filtering)
Operating System : Microsoft[Filter]
Operating System : POSIX[Filter]
Programming Language : C\+\+[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]

Activity Percentile: 82.26

Registered: 2009-05-14 08:56

FracLab - FracLab is a general purpose signal and image processing toolbox based on fractal and multifractal methods.

Development Status : 4 - Beta[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Software (Now Filtering)
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS (Now Filtering)
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Other[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Bio-Informatics[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 76.45

Registered: 2008-11-03 11:16

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[Filter]
Environment : Web Environment[Filter]
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Software (Now Filtering)
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[Filter]
Programming Language : Smalltalk[Filter]
Research center : Lille - Nord Europe[Filter]
Topic : Education : Computer Aided Instruction \(CAI\)[Filter]

Activity Percentile: 75.84

Registered: 2008-05-16 08:15

MMG3D - MMG3d is an isotropic/anisotropic tetrahedral fully automatic remesher

Development Status : 5 - Production/Stable[Filter]
Development Status : 6 - Mature[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : End Users/Desktop (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 (Now Filtering)
Operating System : Microsoft[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 68.81

Registered: 2012-09-07 06:58

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 (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : MacOS (Now Filtering)
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering : Visualization[Filter]
Topic : Software Development : Debuggers[Filter]

Activity Percentile: 68.20

Registered: 2008-11-14 09:11

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 (Now Filtering)
Kind : Software (Now Filtering)
License : Other/Proprietary License[Filter]
Natural Language : English[Filter]
Operating System : MacOS (Now Filtering)
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: 64.83

Registered: 2007-03-21 14:03

BiiPS - Biips is a general software for Bayesian inference using interacting particle systems, aka sequential Monte Carlo methods. It aims at popularizing the use of these methods to researchers and students, thanks to its automated black box inference engine.

Development Status : 4 - Beta[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Software (Now Filtering)
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[Filter]
Programming Language : C\+\+[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 64.53

Registered: 2010-01-12 13: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\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Software (Now Filtering)
License : CeCILL[Filter]
License : CeCILL-C[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS (Now Filtering)
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Programming Language : Perl[Filter]
Research center : Rocquencourt[Filter]
Topic : Software Development : Code Generators[Filter]

Activity Percentile: 62.39

Registered: 2006-07-07 12:05

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[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Software (Now Filtering)
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 : Other OS[Filter]
Programming Language : Java[Filter]
Research center : Rocquencourt[Filter]

Registered: 2007-03-05 10:36

LimSee3 - LimSee3 is an open source authoring tool for multimedia documents. It features a powerful user interface and authoring model designed to ease the creation of complex time-based multimedia presentations. More on http://limsee3.gforge.inria.fr

Development Status : 5 - Production/Stable[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Software (Now Filtering)
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[Filter]
Programming Language : Java[Filter]
Research center : Montbonnot[Filter]
Topic : Internet[Filter]
Topic : Multimedia[Filter]

Activity Percentile: 58.41

Registered: 2006-01-10 15:05

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 (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
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[Filter]
Programming Language : C[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 58.10

Registered: 2005-11-24 16:37

GUIDE - GUIDE is a Library (and a Graphical User Interface) that allows the generation of evolutionary algorithms suited to the user's needs (even if the user is not an Evolutionary Computation specialist). Two libraries are supported, EO and ECJ. However, GUIDE is now dead, and this project is used for various projects in TAO.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Software (Now Filtering)
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : MacOS (Now Filtering)
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Java[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Education : Computer Aided Instruction \(CAI\)[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]
Topic : Software Development : Code Generators[Filter]

Activity Percentile: 44.34

Registered: 2008-01-10 17:14

Camelis - Camelis is an implementation of Logical Information Systems (LIS). LIS automatically organize data given an description of objects by logical properties, and combine boolean querying and non-hierarchical navigation when searching information.

Development Status : 5 - Production/Stable[Filter]
Environment : X11 Applications[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Software (Now Filtering)
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[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Rennes[Filter]
Topic : Desktop Environment[Filter]
Topic : Multimedia[Filter]

Activity Percentile: 33.64

Registered: 2010-12-14 15:00

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 (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
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[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Nancy[Filter]
Topic : Software Development : Compilers[Filter]

Activity Percentile: 19.27

Registered: 2009-11-10 11:10

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 (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
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

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

Grail - Grail is a parser/automated theorem prover for type-logical grammars allowing users to design and test their own grammars. Grail exploits different grammar properties to permit fast parsing of type-logical grammars.

Development Status : 5 - Production/Stable[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Software (Now Filtering)
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[Filter]
Programming Language : Prolog[Filter]
Programming Language : Tcl[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering : Human Machine Interfaces[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2008-03-20 16:46

Coala - Coala : "CO-evolution Assessment by a Likelihood-free Approach" Coala is a method for estimating the frequency of the events for co-evolutionary studies via an approximative Bayesian computation.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Publication\(s\)[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : MacOS (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Java[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering : Bio-Informatics[Filter]

Activity Percentile: 0.00

Registered: 2013-10-10 12:10

Alecsia - Alecsias's goal is to provide teachers an efficient way of marking and commenting students' homeworks and scripts, and to provide students helpful comments on their own work.

Development Status : 4 - Beta[Filter]
Environment : Web Environment[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Software (Now Filtering)
License : CeCILL[Filter]
Natural Language : French[Filter]
Operating System : MacOS (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : JavaScript[Filter]
Programming Language : PHP[Filter]
Research center : Lille - Nord Europe[Filter]
Topic : Education[Filter]

Activity Percentile: 0.00

Registered: 2011-12-03 16:59

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

Development Status : 3 - Alpha[Filter]
Environment : MPI[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Publication\(s\)[Filter]
Kind : Software (Now Filtering)
Kind : Work group[Filter]
Natural Language : French[Filter]
Operating System : MacOS (Now Filtering)
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: 0.00

Registered: 2008-02-18 14:04

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