Software Map

Project Tree

• Per Category
• Per Hierarchy

Now limiting view to projects in the following categories:
      Operating System :: POSIX :: GNU/Linux [Remove This Filter]
      Intended Audience :: Developers [Remove This Filter]
      Kind :: Software [Remove This Filter]
      Environment :: Other Environment [Remove This Filter]

---

License  >  OSI Approved  >  GNU Lesser General Public License \(LGPL\)

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

---

2 projects in result set.

---

OCaml-share - Share is a(nother) library of useful OCaml functions and modules. But it can be used as a classic OCaml library (download, compile, install, use and link with), or with Caml-get, since all elements are exported in a caml-get archive.

Development Status : 4 - Beta[Filter] Environment : Other Environment (Now Filtering) Intended Audience : Developers (Now Filtering) Kind : Software (Now Filtering) License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter] Natural Language : English[Filter] Operating System : POSIX : GNU/Linux (Now Filtering) Programming Language : Objective-Caml[Filter] Research center : Rocquencourt[Filter] Topic : Software Development[Filter]

Activity Percentile: 0.00 Registered: 2006-03-02 09:04

---

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 (Now Filtering) Intended Audience : Developers (Now Filtering) 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[Filter] Operating System : Microsoft : Windows[Filter] Operating System : POSIX : GNU/Linux (Now Filtering) Programming Language : Prolog[Filter] Programming Language : Tcl[Filter] Research center : Bordeaux - Sud-Ouest[Filter] Topic : Scientific/Engineering : Human Machine Interfaces[Filter] Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00 Registered: 2008-03-20 16:46

---