Software Map

Project Tree

Now limiting view to projects in the following categories:
License :: OSI Approved :: BSD License [Remove This Filter]
Intended Audience :: Developers [Remove This Filter]
Natural Language :: French [Remove This Filter]
Environment :: Console (Text Based) [Remove This Filter]

Kind > Software	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

2 projects in result set.

Zenon (automated theorem prover) - Automated theorem prover for first order logic with equality, based on the tableau method.

Development Status : 3 - Alpha[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
License : OSI Approved : BSD License (Now Filtering)
Natural Language : English[Filter]
Natural Language : French (Now Filtering)
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 38.51

Registered: 2014-11-06 09:33

Computational Unified Library - Topology - CULT - the Computational Unified Library for Topology This is a project to provide a unified basis to write compatible modules for computational topology, topological data analysis and similar areas, with bindings to external systems.

Development Status : 1 - Planning[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : Other Environment[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : OSI Approved : BSD License (Now Filtering)
Natural Language : English[Filter]
Natural Language : French (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Python[Filter]
Research center : Saclay - Ile de France[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2009-04-08 13:27