Software Map
Project Tree
Now limiting view to projects in the following categories:
Natural Language :: English [Remove This Filter]
Intended Audience :: Developers [Remove This Filter]
License :: CeCILL [Remove This Filter]
Development Status :: 5 - Production/Stable [Remove This Filter]
Environment :: Console (Text Based) [Remove This Filter]
Operating System :: OS Independent [Remove This Filter]
4 projects in result set.
Gappa
- Tool for verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. It can be used either directly or as a back-end for other tools, e.g. Coq or Why.
|
- Development Status : 5 - Production/Stable (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : CeCILL (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : OS Independent (Now Filtering)
- Programming Language : C\+\+[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 86.39
Registered: 2009-09-16 08:55 |
paradisEO
- PARAllel and DIStributed Evolving Objects: a white-box object-oriented framework dedicated to the flexible design of metaheuristics
|
- Development Status : 5 - Production/Stable (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : MPI[Filter]
- Environment : Win32 \(MS Windows\)[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : CeCILL (Now Filtering)
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : OS Independent (Now Filtering)
- Programming Language : C\+\+[Filter]
- Programming Language : Python[Filter]
- Research center : Lille - Nord Europe[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
- Topic : System : Clustering/Distributed Networks[Filter]
|
Activity Percentile: 78.40
Registered: 2005-10-28 13:22 |
GINNet and DynNet
- GINNet is a graphical platform of data-mining, developped in Java and bases on DynNet library, allowing easy manipulation of neural networks, decision trees, etc.
|
- Development Status : 5 - Production/Stable (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : Win32 \(MS Windows\)[Filter]
- Environment : X11 Applications[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : Other Audience[Filter]
- License : CeCILL (Now Filtering)
- Natural Language : English (Now Filtering)
- Operating System : OS Independent (Now Filtering)
- Programming Language : Java[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
|
Activity Percentile: 28.99
Registered: 2005-09-21 09:13 |
manband
- manband is a workflow orchestrator based on RabbitMQ. It supports suspend/resume features, runtime variables and can push results to S3 storage.
It can be scaled easily in the cloud with high availability and error node support.
|
- Development Status : 5 - Production/Stable (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : Web Environment[Filter]
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : CeCILL (Now Filtering)
- Natural Language : English (Now Filtering)
- Operating System : OS Independent (Now Filtering)
- Programming Language : Ruby[Filter]
- Research center : Rennes[Filter]
- Topic : System : Clustering/Distributed Networks[Filter]
|
Activity Percentile: 0.00
Registered: 2012-05-03 08:29 |
