Software Map

Project Tree

Now limiting view to projects in the following categories:
Intended Audience :: Developers [Remove This Filter]
Environment :: Other Environment [Remove This Filter]

Operating System > Microsoft MS-DOS (0 projects) Windows (78 projects)	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

2 projects in result set.

ProverEditor - A lightweight multi-prover interface in Eclipse.

Development Status : 3 - Alpha[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft[Filter]
Operating System : POSIX[Filter]
Programming Language : Java[Filter]
Topic : Text Editors : Integrated Development Environments \(IDE\)[Filter]

Activity Percentile: 0.00

Registered: 2006-04-04 10:14

iCube - iCube stands for INRIA Identification Interface

Development Status : 5 - Production/Stable[Filter]
Environment : Other Environment (Now Filtering)
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Other[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering : Bio-Informatics[Filter]

Activity Percentile: 0.00

Registered: 2011-09-09 12:33