Software Map
Project Tree
Now limiting view to projects in the following categories:
Programming Language :: Objective-Caml [Remove This Filter]
Intended Audience :: Other Audience [Remove This Filter]
6 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\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : BSD License[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : MacOS[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 34.40
Registered: 2014-11-06 09:33 |
Prégroupes
- Grammaires de prégroupes.
|
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : Other Audience (Now Filtering)
- Kind : Software[Filter]
- Kind : Work group[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Programming Language : Other[Filter]
- Programming Language : PHP[Filter]
- Research center : Rennes[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
- Topic : Text Editors : Text Processing[Filter]
|
Activity Percentile: 23.03
Registered: 2007-09-28 14:36 |
Puiseux's theorem
- - Formal proof in Coq of Puiseux's theorem.
- Program computing roots of a Puiseux series polynomial.
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience (Now Filtering)
- Kind : Software[Filter]
- License : CeCILL-B[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Programming Language : Other[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2014-09-14 10:01 |
LexiComp
- The Lexicomp project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme)
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : Other Audience (Now Filtering)
- Kind : Software[Filter]
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Nancy[Filter]
- Topic : Software Development : Compilers[Filter]
|
Activity Percentile: 0.00
Registered: 2009-11-10 11:10 |
Dep2Pict
- The Dep2pict project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme)
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : X11 Applications : Gnome[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : Other Audience (Now Filtering)
- Kind : Software[Filter]
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Nancy[Filter]
- Topic : Multimedia : Graphics : Editors[Filter]
- Topic : Multimedia : Graphics : Graphics Conversion[Filter]
- Topic : Multimedia : Graphics : Viewers[Filter]
|
Activity Percentile: 0.00
Registered: 2010-02-16 08:17 |
ReaTK
- Reactive systems verification and synthesis toolkit. This project distributes the ReaX tool for solving discrete controller synthesis problems for infinite state systems given as Controllable-Nbac programs, plus several libraries for handling such files and models. A version of the ReaVer tool is also included.
|
- Development Status : 3 - Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Rennes[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2015-04-22 14:56 |
