Software Map
Project Tree
Now limiting view to projects in the following categories:
Natural Language :: English [Remove This Filter]
Kind :: Software [Remove This Filter]
Programming Language :: C++ [Remove This Filter]
Operating System :: MacOS [Remove This Filter]
7 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[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : MIT/X Consortium License[Filter]
- Natural Language : English (Now Filtering)
- Operating System : MacOS (Now Filtering)
- Operating System : Microsoft[Filter]
- Operating System : POSIX[Filter]
- Programming Language : C\+\+ (Now Filtering)
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
|
Activity Percentile: 81.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[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software (Now Filtering)
- License : CeCILL[Filter]
- Natural Language : English (Now Filtering)
- Operating System : MacOS (Now Filtering)
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+ (Now Filtering)
- Research center : Bordeaux - Sud-Ouest[Filter]
- Topic : Scientific/Engineering : Visualization[Filter]
- Topic : Software Development : Debuggers[Filter]
|
Activity Percentile: 67.71
Registered: 2008-11-14 09:11 |
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[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : MacOS (Now Filtering)
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+ (Now Filtering)
- Research center : Bordeaux - Sud-Ouest[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 66.57
Registered: 2010-01-12 13:42 |
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[Filter]
- Kind : Software (Now Filtering)
- License : Other/Proprietary License[Filter]
- Natural Language : English (Now Filtering)
- Operating System : MacOS (Now Filtering)
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+ (Now Filtering)
- Research center : Rocquencourt[Filter]
- Research center : Sophia Antipolis[Filter]
- Topic : Scientific/Engineering : Medical Science Apps\.[Filter]
- Topic : Scientific/Engineering : Visualization[Filter]
|
Activity Percentile: 64.29
Registered: 2007-03-21 14:03 |
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[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : MacOS (Now Filtering)
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+ (Now Filtering)
- 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 |
BOCOP
- BOCOP: Boite à Outils pour le Controle OPtimal
|
- Development Status : 6 - Mature[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : Eclipse Public Licence[Filter]
- Natural Language : English (Now Filtering)
- Operating System : MacOS (Now Filtering)
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+ (Now Filtering)
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2010-08-31 08:45 |
BOCOP-HJB
- BOCOP-HJB
Toolbox for optimal control, HJB approach
|
- Development Status : 4 - Beta[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : Eclipse Public Licence[Filter]
- Natural Language : English (Now Filtering)
- Operating System : MacOS (Now Filtering)
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+ (Now Filtering)
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2015-03-06 12:40 |
