Software Map
Project Tree
Now limiting view to projects in the following categories:
Intended Audience :: Developers [Remove This Filter]
Development Status :: 3 - Alpha [Remove This Filter]
Natural Language :: French [Remove This Filter]
5 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 (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : OSI Approved : BSD License[Filter]
- 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: 42.47
Registered: 2014-11-06 09:33 |
Toktok
- The Toktok project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme)
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Environment : Other Environment[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Natural Language : French (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Nancy[Filter]
|
Activity Percentile: 41.40
Registered: 2010-01-26 14:39 |
CALVI
- The purpose of the CALVI project is to design numerical method and develop simulation and visualization codes for the solving and the visualization of partial differential equations describing particles beams and plasmas.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Environment : MPI[Filter]
- Environment : OpenMP[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : Other Audience[Filter]
- Kind : Publication\(s\)[Filter]
- Kind : Software[Filter]
- Kind : Work group[Filter]
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Natural Language : French (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Operating System : POSIX : SunOS/Solaris[Filter]
- Programming Language : C[Filter]
- Programming Language : C\+\+[Filter]
- Programming Language : Fortran[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
- Topic : Scientific/Engineering : Visualization[Filter]
|
Activity Percentile: 28.49
Registered: 2007-06-08 11:51 |
xionee
- Xionee project is a collection of tools implemented in Ruby to simplify the management of workload traces of parallel machines (clusters, grids).
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : System Administrators[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Natural Language : French (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Ruby[Filter]
- Research center : Montbonnot[Filter]
- Topic : System : Clustering/Distributed Networks[Filter]
- Topic : System : Emulators[Filter]
|
Registered: 2009-03-29 13:14 |
GenI wrapper
- The GenI wrapper project contains two Java packages interfacing the GenI surface realizer developed by Eric Kow, a GenI client that communicates with the geniserver with sockets, and a morphological realizer.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Natural Language : French (Now Filtering)
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering : Human Machine Interfaces[Filter]
|
Activity Percentile: 0.00
Registered: 2009-10-04 16:34 |
