Software Map

Project Tree

Now limiting view to projects in the following categories:
Operating System :: POSIX :: GNU/Linux [Remove This Filter]
Operating System :: MacOS [Remove This Filter]
Topic :: Scientific/Engineering :: Human Machine Interfaces [Remove This Filter]
Kind :: Software [Remove This Filter]
Operating System :: Microsoft :: Windows [Remove This Filter]
Programming Language :: Tcl [Remove This Filter]

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

1 project in result set.

Grail - Grail is a parser/automated theorem prover for type-logical grammars allowing users to design and test their own grammars. Grail exploits different grammar properties to permit fast parsing of type-logical grammars.

Development Status : 5 - Production/Stable[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : MacOS (Now Filtering)
Operating System : Microsoft : Windows (Now Filtering)
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Prolog[Filter]
Programming Language : Tcl (Now Filtering)
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering : Human Machine Interfaces (Now Filtering)
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 16.00

Registered: 2008-03-20 16:46