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]
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: 82.80
Registered: 2009-05-14 08:56 |
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: 65.86
Registered: 2012-09-07 06:58 |
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: 58.60
Registered: 2006-07-07 12:05 |
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: 55.65
Registered: 2008-01-10 17:14 |
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: 16.13
Registered: 2009-11-10 11:10 |
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: 3.23
Registered: 2007-11-29 15:48 |
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 |
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 |
leopar
- the Leopar project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme)
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : X11 Applications[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 : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering[Filter]
|
Registered: 2006-10-04 09:23 |
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 |
Transcend With SOS
- A project related to my PhD thesis. The aim of the work is the certification of the lower and upper bounds of transcendental and semi-algebraic functions with COQ and external SOS solvers like SparsePOP, Gloptipoly, SDP libraries like CSDP or SDPA.
|
- Development Status : 1 - Planning[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop (Now Filtering)
- Kind : Software (Now Filtering)
- License : Public Domain[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 : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2012-01-08 22:29 |
