MyGforge Home

Search projects by category

•  Development Status
•  License
•  Operating System
•  Spoken Language
•  Programming Language
•  Topic
•  Education
  •  Testing [Show] [Add Filter] (2 project(s), 0 project(s) in subcategories)
•  Intended Audience

2 project(s) in result set

Full name	Description	Trove categorization
Cadena	Cadena is an Eclipse-based extensible integrated modeling and development framework for component-based systems.	Development Status: 4 - Beta, 5 - Production/Stable Intended Audience: Developers License: KSU Academic License Operating System: OS Independent Programming Language: Java, Python Spoken Language: English Topic: Education, Scientific/Engineering, Software Development
Sireum	Sireum software analysis platform	Development Status: 2 - Pre-Alpha Intended Audience: Developers, Other Audience License: Eclipse Public License Operating System: Linux, MacOS, Windows Programming Language: Java Spoken Language: English Topic: Analysis, Code Generators, Compilers, Education

Search for projects in all categories

 

Enter * to return all
To search for projects, please enter the criteria in the text box and press "Search" to get the results