Software Map
Project Tree
Now limiting view to projects in the following categories:
Environment :: Console (Text Based) [Remove This Filter]
Topic :: Scientific/Engineering [Remove This Filter]
Natural Language :: English [Remove This Filter]
Intended Audience :: Developers [Remove This Filter]
Kind > Software
|
Browse By:
|
18 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\) (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : CeCILL[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : OS Independent[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering (Now Filtering)
- Topic : Software Development[Filter]
|
Activity Percentile: 87.88
Registered: 2009-09-16 08:55 |
Kaapi
- KAAPI "Kernel for Adaptative, Asynchronous Parallel and Interactive programming" is a C++ library that allows to execute fine/medium grain multithreaded computation with dynamic data flow synchronizations. |
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : OpenMP[Filter]
- Environment : Other Environment[Filter]
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : CeCILL[Filter]
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : MacOS[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Programming Language : C\+\+[Filter]
- Programming Language : Fortran[Filter]
- Research center : Montbonnot[Filter]
- Topic : Scientific/Engineering (Now Filtering)
- Topic : Software Development[Filter]
- Topic : System : Clustering/Distributed Networks[Filter]
|
Activity Percentile: 47.14
Registered: 2005-10-06 11:03 |
Polyphemus
- Polyphemus is an air quality modeling system, developed by École des ponts, EDF R&D and INRIA. It includes several chemistry-transport models (for radionuclides, photochemistry, aerosols, ...), data assimilation algorithms and ensemble methods. |
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- 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 (Now Filtering)
- Operating System : OS Independent[Filter]
- Programming Language : C\+\+[Filter]
- Programming Language : Fortran[Filter]
- Programming Language : Python[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Activity Percentile: 46.13
Registered: 2008-02-13 16:03 |
ZenoSolver
- ZenoSolver is a C++11 software dedicated to generate and solve MultiZenoTravel instances. |
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : OpenMP[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : CeCILL-B[Filter]
- Natural Language : English (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Activity Percentile: 45.12
Registered: 2014-04-03 06:13 |
Dedukti
- A type-checker for λΠ-modulo user-defined rewrite rules. The latest version is available under opam. |
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- Natural Language : English (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Programming Language : Other[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Activity Percentile: 29.63
Registered: 2012-10-26 11:28 |
Cycab Toolkit
- This project aims to provide a development toolkit dedicated to mobile robotic platforms such as Cycab (simulator, middleware ...).
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : X11 Applications[Filter]
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Programming Language : C\+\+[Filter]
- Programming Language : Python[Filter]
- Research center : Montbonnot[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Activity Percentile: 9.43
Registered: 2005-07-05 08:46 |
Rainbow
- This project aims at developing a grammar for termination proofs and a tool for automatically certifying those proofs using the Coq library CoLoR. |
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- Natural Language : English (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Registered: 2006-09-07 09:02 |
Netquest
- The Netquest system is a software for adhoc networks. It offers a
high level programming abstraction allowing to express in a
declarative way both networking protocols and network applications. |
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : X11 Applications[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : Other/Proprietary License[Filter]
- Natural Language : English (Now Filtering)
- Operating System : POSIX[Filter]
- Programming Language : C\+\+[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2008-02-26 10:20 |
ProActive
- ProActive is a GRID Java library for parallel, distributed, and concurrent computing, also featuring mobility and security in a uniform framework.
ProActive runs on Local Area Network (LAN), on clusters of workstations, or on Internet Grids. |
- Development Status : 6 - Mature[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : Other Environment[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Research center : Sophia Antipolis[Filter]
- Topic : Scientific/Engineering (Now Filtering)
- Topic : Software Development[Filter]
|
Registered: 2005-11-24 17:27 |
Hsplit
- This project aims to propose a novel MPI interface to construct a set of hierarchical communicators according to the hardware topology. |
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : MPI[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : System Administrators[Filter]
- Kind : Software[Filter]
- Kind : Work group[Filter]
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Research center : Bordeaux - Sud-Ouest[Filter]
- Topic : Scientific/Engineering (Now Filtering)
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2016-12-06 10:16 |
Ordered Read-Write Locks
- ORWL is a reference implementation of Ordered Read-Write Locks, a programming model and API for parallel and distributed computing. ORWL is at the same time simple to use and efficient and provides deadlock-freeness and equity for iterative programs. |
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : BSD License[Filter]
- Natural Language : English (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering (Now Filtering)
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2012-12-29 14:16 |
CoRDAGe
- CoRDAGe is a co-deployment and re-deployment tool for grid applications. It interfaces distributed applications with grid middlewares in charge of node reservation and deployment. http://cordage.gforge.inria.fr |
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : No Input/Output \(Daemon\)[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : System Administrators[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : MacOS[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Programming Language : C\+\+[Filter]
- Programming Language : Perl[Filter]
- Research center : Rennes[Filter]
- Topic : Scientific/Engineering (Now Filtering)
- Topic : System : Clustering/Distributed Networks[Filter]
|
Activity Percentile: 0.00
Registered: 2008-01-10 14:27 |
WSNet
- WSNet is a modular event-driven simulator targeted to Wireless Sensor Networks. Its main goals are to offer scalabiliy, extensibility and modularity for the integration of new protocols/hardware models and a precise radio medium simulation. |
- Development Status : 3 - Alpha[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : X11 Applications[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- Natural Language : English (Now Filtering)
- Operating System : POSIX[Filter]
- Programming Language : C[Filter]
- Research center : Montbonnot[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2007-11-15 10:07 |
Compilateur HOCL
- HOCL est un langage de programmation chimique à l'ordre supérieur. Ce compilateur s'appuie sur Java et autorise l'utilisation simultanée de programme HOCL et Java. |
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- Kind : Work group[Filter]
- Natural Language : English (Now Filtering)
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Programming Language : Other[Filter]
- Research center : Rennes[Filter]
- Topic : Internet[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2009-07-06 08:14 |
Simulateur et Framework robotique
- Utilisation de USARSim et MOAST dans le cadre de d'étude sur la navigation coopérative en milieu urbain. |
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : Win32 \(MS Windows\)[Filter]
- Environment : X11 Applications[Filter]
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Montbonnot[Filter]
- Topic : Scientific/Engineering (Now Filtering)
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2007-05-14 15:09 |
parXXL
- The parXXL suite that eases the implementation and benchmarking
of highly performant large scale parallel and distributed
applications. This project is a collaboration of INRIA and SUPELEC. |
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : MPI[Filter]
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : OS Independent[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering (Now Filtering)
- Topic : System : Clustering/Distributed Networks[Filter]
|
Activity Percentile: 0.00
Registered: 2005-12-02 15:46 |
Holide
- An HOL to Dedukti translator. |
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : CeCILL-B[Filter]
- Natural Language : English (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Registered: 2013-05-31 09:06 |
Sémagramme
- Regroupement des projets publics de l'équipe Sémagramme |
- Development Status : 4 - Beta[Filter]
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : Web Environment[Filter]
- Environment : X11 Applications[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : CeCILL-B[Filter]
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : MacOS[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2011-06-15 08:03 |