Software Map

Project Tree

Now limiting view to projects in the following categories:
Intended Audience :: Developers [Remove This Filter]
Development Status :: 4 - Beta [Remove This Filter]
Natural Language :: English [Remove This Filter]
Kind :: Software [Remove This Filter]

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

19 projects in result set.

bzr - Controller synthesis for the design of embedded systems

Development Status : 4 - Beta (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Montbonnot[Filter]
Research center : Rennes[Filter]
Topic : Software Development : Compilers[Filter]

Activity Percentile: 87.76

Registered: 2008-07-04 12:56

Kermeta - Kermeta is a Model-Oriented language based on an object-oriented executable meta-modeling paradigm. It features a comprehensive environment for MetaModel Engineering. It is built as an executable extension to MOF.

Development Status : 4 - Beta (Now Filtering)
Intended Audience : Developers (Now Filtering)
Kind : Software (Now Filtering)
License : OSI Approved : Eclipse Public Licence[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Programming Language : Other[Filter]
Research center : Rennes[Filter]
Topic : Software Development : Build Tools[Filter]
Topic : Software Development : Interpreters[Filter]

Activity Percentile: 60.35

Registered: 2005-06-29 12:30

gazelle - IHE Gazelle Tools. The Gazelle project is aimed at developing testing tools for IHE. This tools shall test the interoperability of medical systems and the compliance of the messages send by those systems with standards recommender by IHE.

Development Status : 3 - Alpha[Filter]
Development Status : 4 - Beta (Now Filtering)
Development Status : 5 - Production/Stable[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software (Now Filtering)
License : OSI Approved : Apache Software License[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : OS Independent[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Java[Filter]
Research center : Rennes[Filter]
Topic : Communications[Filter]
Topic : Scientific/Engineering : Bio-Informatics[Filter]
Topic : Security[Filter]

Activity Percentile: 44.31

Registered: 2007-03-07 16:37

Kermeta2 - Kermeta2 is the major evolution of Kermeta : This tool helps to build other tool by weaving behavior in metamodels.

Development Status : 4 - Beta (Now Filtering)
Intended Audience : Developers (Now Filtering)
Kind : Software (Now Filtering)
License : OSI Approved : Eclipse Public Licence[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Programming Language : Java[Filter]
Programming Language : Other[Filter]
Research center : Rennes[Filter]
Topic : Software Development[Filter]

Activity Percentile: 31.49

Registered: 2012-09-07 12:50

Nullability Inference Tool - NIT (Nullability Inference Tool) is a tool to infer non-null annotations for fields and methods in Java programs to be able to use annotation facility in Java 5 and the checkers that are developed by third parties.

Development Status : 4 - Beta (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Rennes[Filter]
Topic : Security[Filter]
Topic : Software Development[Filter]

Activity Percentile: 27.99

Registered: 2008-04-30 12:04

PeerUnit - The Atlas Peer-to-peer testing platform is a platform to develop tests for P2P systems. Main features: test execution control, synchronization, volatility control.

Development Status : 4 - Beta (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
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 : Rennes[Filter]
Topic : Software Development[Filter]

Activity Percentile: 15.16

Registered: 2007-12-10 14:15

vep - Virtual Execution Platform (VEP) is a cloud middleware software that interfaces multiple Infrastructure as a Service (IaaS) clouds and presents end-users with an interface facilitating ease of deployment and application life cycle management of distributed applications made up of several inter-networked virtual machines. VEP project has been initiated in the framework of the FP Contrail EU integrated project (2010-2014) and further developed in the VEP-S activity funded by EIT ICT Labs (2014). Wiki : vep.gforge.inria.fr

Development Status : 4 - Beta (Now Filtering)
Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Intended Audience : System Administrators[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : BSD License[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Research center : Rennes[Filter]
Topic : System : Clustering/Distributed Networks[Filter]

Registered: 2012-05-23 15:36

6lowpan Test Platform - A lib for running 6lowpan tests in TTCN-3 (including type definitions, codecs & adapters)

Development Status : 4 - Beta (Now Filtering)
Environment : Other Environment[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : Eclipse Public Licence[Filter]
Natural Language : English (Now Filtering)
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Other[Filter]
Research center : Rennes[Filter]
Topic : Software Development[Filter]

Registered: 2012-05-22 14:59

QtShanoir - QtShanoir is a Qt widget with an example application to query data from the Shanoir web application.

Development Status : 4 - Beta (Now Filtering)
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications[Filter]
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 (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : C\+\+[Filter]
Research center : Rennes[Filter]
Topic : Scientific/Engineering : Medical Science Apps\.[Filter]

Registered: 2011-10-17 15:52

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 (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Environment : No Input/Output \(Daemon\)[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : System Administrators[Filter]
Kind : Software (Now Filtering)
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[Filter]
Topic : System : Clustering/Distributed Networks[Filter]

Activity Percentile: 0.00

Registered: 2008-01-10 14:27

QBIOS - An automatic test platform dedicated to bioinformatics services

Development Status : 4 - Beta (Now Filtering)
Environment : Web Environment[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : Other Audience[Filter]
Intended Audience : System Administrators[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Java[Filter]
Research center : Rennes[Filter]
Topic : Scientific/Engineering : Bio-Informatics[Filter]

Registered: 2008-04-18 09:35

The Kayrebt Toolset - The Kayrebt toolset is a set of software projects dedicated to the extraction, visualisation and analysis of activity diagrams-like graphs showing a low-level representation of C code, and more particularly the Linux kernel code base.

Development Status : 4 - Beta (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
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]
Programming Language : C\+\+[Filter]
Research center : Rennes[Filter]
Topic : Scientific/Engineering : Visualization[Filter]
Topic : Software Development[Filter]

Registered: 2016-02-03 08:19

OpenNebula cookbooks for Grid'5000 - This project aims at providing a reference chef cookbook for automatic deployment of OpenNebula on Grid'5000, so as to prepare Inria's tesbed for the BonfiRE European project

Development Status : 4 - Beta (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : System Administrators[Filter]
Kind : Software (Now Filtering)
License : CeCILL-B[Filter]
License : OSI Approved : Apache Software License[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Ruby[Filter]
Research center : Rennes[Filter]
Topic : System : Installation/Setup[Filter]
Topic : System : Systems Administration[Filter]

Activity Percentile: 0.00

Registered: 2011-01-12 16:40

GeCoS - GECOS (Generic Compiler Suite) is a generic compilation platform, extensible by a plugin mechanism.

Development Status : 4 - Beta (Now Filtering)
Intended Audience : Developers (Now Filtering)
Kind : Software (Now Filtering)
License : OSI Approved : Eclipse Public Licence[Filter]
Natural Language : English (Now Filtering)
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Programming Language : Java[Filter]
Programming Language : Other[Filter]
Research center : Rennes[Filter]
Topic : Scientific/Engineering : Electronic Design Automation \(EDA\)[Filter]
Topic : Software Development : Code Generators[Filter]
Topic : Software Development : Compilers[Filter]

Activity Percentile: 0.00

Registered: 2006-10-04 12:45

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 (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software (Now Filtering)
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[Filter]

Activity Percentile: 0.00

Registered: 2009-07-06 08:14

comka - Kaapi component using the Dynaco scheme to dynamically add certification to programms compiled with the kaapi library.

Development Status : 4 - Beta (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software (Now Filtering)
License : CeCILL-C[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Research center : Rennes[Filter]
Topic : System : Clustering/Distributed Networks[Filter]

Registered: 2008-03-04 13:56

Satisfaction-based Query Allocation - SbQA is a Satisfaction-based Query Allocation framework for open environments that allows a mediator to allocate queries/requests to providers by mainly satisfying consumers' and providers' interests.
Development Status : 4 - Beta (Now Filtering) Environment : Other Environment[Filter] Intended Audience : Developers (Now Filtering) Kind : Software (Now Filtering) Natural Language : English (Now Filtering) Operating System : OS Independent[Filter] Programming Language : Java[Filter] Research center : Rennes[Filter]	Activity Percentile: 0.00 Registered: 2009-04-09 11:43

Barra - Barra is a GPU architecture simulator. It simulates CUDA programs at the assembly language level (Tesla ISA). Barra is a tool for research on computer architecture, and can also be used to debug, profile and optimize CUDA programs at the lowest level.

Development Status : 4 - Beta (Now Filtering)
Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : BSD License[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Research center : Rennes[Filter]
Topic : Software Development : Debuggers[Filter]
Topic : System : Emulators[Filter]

Activity Percentile: 0.00

Registered: 2014-03-19 13:12

IoT Modeling Language - A transpiler from an IoT modelling language to BIP.

Development Status : 4 - Beta (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software (Now Filtering)
License : Creative Commons[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Research center : Rennes[Filter]
Topic : Security[Filter]
Topic : Software Development : Compilers[Filter]

Registered: 2018-10-03 13:16