Software Map

Project Tree

Now limiting view to projects in the following categories:
Operating System :: Microsoft :: Windows [Remove This Filter]

Topic > Scientific/Engineering Artificial Intelligence (33 projects) Astronomy (0 projects) Bio-Informatics (27 projects) Data Mining (9 projects) Electronic Design Automation (EDA) (5 projects) Human Machine Interfaces (12 projects) Mathematics (81 projects) Medical Science Apps. (24 projects) Visualization (41 projects)	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

10 projects in result set.

Why3 - Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers. The project is no longer maintained here. You can find the repository and the issue tracker at https://gitlab.inria.fr/why3/why3/

Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : Microsoft : Windows (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Security[Filter]
Topic : Software Development[Filter]

Activity Percentile: 76.54

Registered: 2010-11-05 10:44

OpenNL - OpenNL is a software library for numerical solvers, with an easy-to-use API to construct sparse matrices, and bindings for MATLAB.

Development Status : 5 - Production/Stable[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : BSD License[Filter]
Operating System : Microsoft : Windows (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Research center : Nancy[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 45.10

Registered: 2008-04-04 09:09

ALTA - ALTA is a general-purpose library designed to help analyze and use measured material data such as BRDFs (Bidirectional Reflectance Distribution Functions). It provides a generic set of tools to analyze and fit BRDF data and models.

Development Status : 3 - Alpha[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : OpenMP[Filter]
Kind : Software[Filter]
License : OSI Approved : Mozilla Public License \(MPL\)[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Python[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Multimedia : Graphics[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 0.00

Registered: 2013-11-06 11:11

Immersia - Repository hosting developpements related to Immersia
Development Status : 5 - Production/Stable[Filter] Intended Audience : Developers[Filter] Kind : Software[Filter] Operating System : Microsoft : Windows (Now Filtering) Programming Language : C#[Filter] Research center : Rennes[Filter] Topic : Scientific/Engineering[Filter]	Registered: 2013-10-17 14:17

Capture Reconstruct Play - In CR-PLAY we propose a new set of Image – and Video-Based technologies, which will provide ways to reduce the time and expense involved in creating such assets, but also make high quality realistic content accessible even to small game developers.

Development Status : 1 - Planning[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
Kind : Work group[Filter]
Natural Language : English[Filter]
Operating System : Microsoft : Windows (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Programming Language : C#[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Games/Entertainment[Filter]
Topic : Multimedia : Graphics[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 0.00

Registered: 2014-03-17 07:56

Simulateur et Framework robotique - Utilisation de USARSim et MOAST dans le cadre de d'étude sur la navigation coopérative en milieu urbain.

Development Status : 2 - Pre-Alpha[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : Microsoft : Windows (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2007-05-14 15:09

OMiSCID - O3MiSCID (aka OMiSCID) is an Object Oriented Opensource Middleware for Service Communication, Inspection and Discovery

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : Win32 \(MS Windows\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
License : OSI Approved : MIT/X Consortium License[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Java[Filter]
Programming Language : Python[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development : Build Tools[Filter]

Activity Percentile: 0.00

Registered: 2006-05-05 09:24

GridCOMP WP5 GridSystems Use Cases - The purpose of this InriaGforge project is to host all the needed files to perform large scale experiments of the GridCOMP use case applications (those from GridSystems) using Grid'5000.

Development Status : 3 - Alpha[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : Microsoft : Windows (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Java[Filter]
Topic : Office/Business[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 0.00

Registered: 2008-01-28 08:48

A Virtual Topology for Ad Hoc Networks - This project implements OPNET models: a virtual topology for ad hoc networks is built and maintained. Other models allow routing in ad hoc (with a tradeoff between reactive and proactive) or hybrid networks (with the adaptation of Cellular IP).
Development Status : 4 - Beta[Filter] Environment : Other Environment[Filter] Intended Audience : Developers[Filter] License : CeCILL[Filter] Natural Language : English[Filter] Operating System : Microsoft : Windows (Now Filtering) Programming Language : C[Filter] Topic : Scientific/Engineering[Filter]	Activity Percentile: 0.00 Registered: 2005-10-11 16:41

SAMOVAR - SAMOVAR is a simulation framework for wireless sensors and actuators networks (WSAN). It is based on Matlab/Simulink and the TrueTime toolbox.

Development Status : 6 - Mature[Filter]
Intended Audience : Developers[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : Microsoft : Windows (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Research center : Nancy[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 0.00

Registered: 2011-12-02 14:55