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]

Development Status > 5 - Production/Stable	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

11 projects in result set.

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: 83.43

Registered: 2009-05-14 08:56

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: 69.23

Registered: 2008-11-14 09:11

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: 67.16

Registered: 2012-09-07 06:58

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: 57.10

Registered: 2006-01-10 15:05

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: 17.16

Registered: 2008-03-20 16:46

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: 14.20

Registered: 2010-12-14 15:00

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\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Software (Now Filtering)
Kind : Work group[Filter]
License : Other/Proprietary License[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 : Rocquencourt[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 2.07

Registered: 2007-11-29 15:48

wellDataAnalysis - Graphic tool which purpose is to analyze wellreader data.

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)
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS (Now Filtering)
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering : Bio-Informatics[Filter]

Activity Percentile: 0.00

Registered: 2011-08-09 10:58

Sémagramme - Regroupement des projets publics de l'équipe Sémagramme

Development Status : 4 - Beta[Filter]
Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : Web Environment[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Software (Now Filtering)
License : CeCILL-B[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Nancy[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 0.00

Registered: 2011-06-15 08:03

iCube - iCube stands for INRIA Identification Interface

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)
Natural Language : English[Filter]
Operating System : MacOS (Now Filtering)
Operating System : Microsoft[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Other[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering : Bio-Informatics[Filter]

Activity Percentile: 0.00

Registered: 2011-09-09 12:33

SECURED OS/ Over the air updates - The main objective of the experiment is to test, prototype and provide secured OTA (Over the air) updates for RIOT O.S. RIOT powers the Internet of Things like Linux powers the Internet.

Development Status : 5 - Production/Stable[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Software (Now Filtering)
Natural Language : English[Filter]
Operating System : MacOS (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Programming Language : Python[Filter]
Programming Language : Unix Shell[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Internet[Filter]
Topic : System : Networking[Filter]

Activity Percentile: 0.00

Registered: 2018-03-26 15:00