Software Map

Project Tree

Now limiting view to projects in the following categories:
Development Status :: 3 - Alpha [Remove This Filter]
Environment :: Console (Text Based) [Remove This Filter]

Topic > Software Development Build Tools (16 projects) Code Generators (21 projects) Compilers (27 projects) Debuggers (7 projects) Interpreters (5 projects) Object Brokering (3 projects) Version Control (4 projects)	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

2 projects in result set.

Mr. Waffles - Mr. Waffles is an open source CTL model checker written entirely in Python. As such, it allows for quick prototyping of systems and specifications. It is particularly suited for program analysis based on control-flow graphs.

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Python[Filter]
Research center : Nancy[Filter]
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2009-07-09 12:43

Proof Manager - Proof Manager is a test platform for SMT solvers, useful to run series of benchmarks (locally and distributed) and analyze results through a graphical interface.

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\) (Now Filtering)
Environment : X11 Applications : Gnome[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2010-09-24 13:31