Software Map
Project Tree
Now limiting view to projects in the following categories:
License :: OSI Approved :: GNU General Public License (GPL) [Remove This Filter]
2 projects in result set.
Gappa
- Tool for verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. It can be used either directly or as a back-end for other tools, e.g. Coq or Why. |
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 84.66
Registered: 2009-09-16 08:55 |
Utilities for Language Engineering
- PaULE (Passage Utilities for Language Engineering) is a toolkit performing pre-processings on an input tree-based grammar in order to facilitate parsing (e.g. polarity-based filtering of the grammatical structures). |
- Development Status : 2 - Pre-Alpha[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Operating System : POSIX[Filter]
- Programming Language : C[Filter]
- Programming Language : Java[Filter]
- Programming Language : Prolog[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
|
Activity Percentile: 5.01
Registered: 2008-06-16 08:22 |