Software Map

Project tree

Operating System > Microsoft > Windows > Windows NT/2000

Browse By:

8 projects in result set.

0. Frama-C - Frama-C is a platform for static analysis of C source code

Development Status : 4 - Beta [Filter]
Intended Audience : Developers [Filter]
Intended Audience : End Users/Desktop [Filter]
Kind : Software [Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\) [Filter]
Natural Language : English [Filter]
Natural Language : French [Filter]
Operating System : Microsoft : Windows : Windows NT/2000 [Filter]
Operating System : POSIX [Filter]
Programming Language : Objective-Caml [Filter]
Research center : Saclay - Ile de France [Filter]
Topic : Security [Filter]
Topic : Software Development [Filter]

Activity Percentile: 68.66
Activity Ranking: 252.00
Registered: 2008-01-23 14:35

1. Slimmer - Sophisticated logic implementations for modeling and mechanical reasoning. Current coding efforts are focused on building the Bedwyr proving system in OCaml.

Development Status : 3 - Alpha [Filter]
Environment : Console \(Text Based\) [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 : Windows NT/2000 [Filter]
Operating System : POSIX : Linux [Filter]
Programming Language : Objective-Caml [Filter]
Research center : Saclay - Ile de France [Filter]
Topic : Scientific/Engineering : Mathematics [Filter]

Activity Percentile: 1.62
Activity Ranking: 789.00
Registered: 2006-05-11 20:47

2. Digiplante Public - Bibliothèques open-source du projet Digiplante

Development Status : 4 - Beta [Filter]
Development Status : 5 - Production/Stable [Filter]
Environment : Win32 \(MS Windows\) [Filter]
Environment : X11 Applications [Filter]
Intended Audience : Developers [Filter]
Intended Audience : End Users/Desktop [Filter]
Kind : Software [Filter]
License : CeCILL-C [Filter]
Natural Language : English [Filter]
Operating System : Microsoft : Windows : Windows NT/2000 [Filter]
Operating System : POSIX [Filter]
Programming Language : C\+\+ [Filter]
Research center : Saclay - Ile de France [Filter]
Topic : Scientific/Engineering : Human Machine Interfaces [Filter]
Topic : Text Editors [Filter]

Activity Percentile: 1.50
Activity Ranking: 790.00
Registered: 2009-11-16 10:23

3. seven - Centralisation des développements et documents concernant le projet ANR SEVEN.
Development Status : 4 - Beta [Filter] Intended Audience : Developers [Filter] Kind : Software [Filter] License : OSI Approved : GNU General Public License \(GPL\) [Filter] Natural Language : French [Filter] Operating System : Microsoft : Windows : Windows NT/2000 [Filter] Operating System : OS Independent [Filter] Research center : Saclay - Ile de France [Filter]	Activity Percentile: 0.00 Activity Ranking: 0.00 Registered: 2006-03-08 11:59

4. Realtime On-set Matchmoving - L’idée du projet est de concevoir un système de prévisualisation 3D qui, fournira une visualisation approchée du compositing.
Operating System : Microsoft : Windows : Windows NT/2000 [Filter] Topic : Multimedia : Graphics : Capture : Digital Camera [Filter]	Activity Percentile: 0.00 Activity Ranking: 0.00 Registered: 2010-05-16 12:54

5. ASCQ-ME - ASCQ-ME est un nouvel outil pour faire de l'identification de protéines par PMF. Un de ses principaux atouts est l'utilisation directe de spectres MS bruts sans extraction des pics mono isotopiques.

Development Status : 5 - Production/Stable [Filter]
Environment : Console \(Text Based\) [Filter]
Intended Audience : Developers [Filter]
License : CeCILL [Filter]
Natural Language : English [Filter]
Operating System : Microsoft : Windows : Windows NT/2000 [Filter]
Operating System : POSIX : Linux [Filter]
Programming Language : C\+\+ [Filter]
Topic : Scientific/Engineering : Bio-Informatics [Filter]

Activity Percentile: 0.00
Activity Ranking: 0.00
Registered: 2006-01-17 09:52

6. MVStudio - MVStudio is an autonomous software set which thoroughly manage the acquisition of calibrated video sequences in a multi-camera studio. MVStudio is not an open source project.

Development Status : 3 - Alpha [Filter]
Environment : Win32 \(MS Windows\) [Filter]
Environment : X11 Applications [Filter]
Intended Audience : End Users/Desktop [Filter]
License : Other/Proprietary License [Filter]
Natural Language : English [Filter]
Operating System : MacOS [Filter]
Operating System : Microsoft : Windows : Windows NT/2000 [Filter]
Operating System : POSIX : Linux [Filter]
Programming Language : C [Filter]
Programming Language : C\+\+ [Filter]
Research center : Montbonnot [Filter]
Topic : Multimedia : Graphics : Capture : Digital Camera [Filter]
Topic : Multimedia : Video : Capture [Filter]
Topic : Multimedia : Video : Display [Filter]

Activity Percentile: 0.00
Activity Ranking: 0.00
Registered: 2005-10-06 15:28

7. Taxi - Taxi is the software framework for CyberCars on which the Imara team is working.

Development Status : 5 - Production/Stable [Filter]
Environment : Win32 \(MS Windows\) [Filter]
Intended Audience : Developers [Filter]
License : OSI Approved : GNU General Public License \(GPL\) [Filter]
Natural Language : English [Filter]
Operating System : Microsoft : Windows : Windows NT/2000 [Filter]
Programming Language : C# [Filter]
Programming Language : C\+\+ [Filter]
Topic : Scientific/Engineering [Filter]

Activity Percentile: 0.00
Activity Ranking: 0.00
Registered: 2006-08-28 09:29