Software Map

Project Tree

Now limiting view to projects in the following categories:
Intended Audience :: Developers [Remove This Filter]
Research center :: Rennes [Remove This Filter]
Operating System :: OS Independent [Remove This Filter]

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

25 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2>

Javalib & Sawja - Javalib is a library to access and manipulate Java class files from OCaml. Sawja is a library that provides a program representation and allows its manipulation. It also provides intermediate representations and algorithms for static analysis.

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

Registered: 2007-02-21 09:03

bzr - Controller synthesis for the design of embedded systems

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

Activity Percentile: 86.06

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[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : Eclipse Public Licence[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Programming Language : Other[Filter]
Research center : Rennes (Now Filtering)
Topic : Software Development : Build Tools[Filter]
Topic : Software Development : Interpreters[Filter]

Activity Percentile: 63.94

Registered: 2005-06-29 12:30

QtDcm - This library can query a PACS or load a Dicom CD. It is also capable to convert selected images series to the nifti format (or other ITK supported images format). See http://qtdcm.gforge.inria.fr.

Development Status : 5 - Production/Stable[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : C\+\+[Filter]
Research center : Rennes (Now Filtering)
Topic : Scientific/Engineering : Medical Science Apps\.[Filter]

Registered: 2011-09-05 10:07

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[Filter]
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]
Operating System : OS Independent (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Research center : Rennes (Now Filtering)
Topic : Scientific/Engineering : Visualization[Filter]
Topic : Software Development[Filter]

Registered: 2016-02-03 08:19

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

Activity Percentile: 30.00

Registered: 2007-03-07 16:37

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[Filter]
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[Filter]
License : OSI Approved : BSD License[Filter]
Natural Language : English[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Research center : Rennes (Now Filtering)
Topic : System : Clustering/Distributed Networks[Filter]

Registered: 2012-05-23 15:36

Euclide - Euclide is a Constraint-Based Testing tool for verfying safety-critical C programs. It has three main applications: structural test data generation, counter-example generation, and partial program proving. It runs SICStus Prolog.

Development Status : 2 - Pre-Alpha[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
License : CeCILL-C[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Prolog[Filter]
Research center : Rennes (Now Filtering)
Topic : Scientific/Engineering[Filter]
Topic : Software Development[Filter]

Activity Percentile: 24.24

Registered: 2008-11-24 17:53

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

Activity Percentile: 16.67

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[Filter]
Environment : Console \(Text Based\)[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[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Research center : Rennes (Now Filtering)
Topic : Software Development[Filter]

Activity Percentile: 12.12

Registered: 2007-12-10 14:15

manband - manband is a workflow orchestrator based on RabbitMQ. It supports suspend/resume features, runtime variables and can push results to S3 storage. It can be scaled easily in the cloud with high availability and error node support.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Ruby[Filter]
Research center : Rennes (Now Filtering)
Topic : System : Clustering/Distributed Networks[Filter]

Activity Percentile: 6.67

Registered: 2012-05-03 08:29

iziworkflow - Online tool to create workflow or graph editors. The developper defines the elements available on the workflow/graph editor. End user can design its own graphic online and save it. Developper can then use the saved file to do the required job.

Development Status : 3 - Alpha[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Research center : Rennes (Now Filtering)
Topic : Scientific/Engineering : Bio-Informatics[Filter]
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2009-09-09 14:30

Plate-forme de bioinformatique Genouest - Plate forme de bio-informatique d'OUEST-genopole(R).

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Work group[Filter]
License : Other/Proprietary License[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : JavaScript[Filter]
Programming Language : PHP[Filter]
Programming Language : Python[Filter]
Research center : Rennes (Now Filtering)
Topic : Database : Database Engines/Servers[Filter]
Topic : Internet : WWW/HTTP : Dynamic Content : CGI Tools/Libraries[Filter]
Topic : Scientific/Engineering : Bio-Informatics[Filter]

Activity Percentile: 0.00

Registered: 2005-08-01 11:19

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[Filter] Environment : Other Environment[Filter] Intended Audience : Developers (Now Filtering) Kind : Software[Filter] Natural Language : English[Filter] Operating System : OS Independent (Now Filtering) Programming Language : Java[Filter] Research center : Rennes (Now Filtering)	Activity Percentile: 0.00 Registered: 2009-04-09 11:43

Snooze - Snooze is a scalable, autonomic, and energy-aware virtual machine (VM) management framework based on a self-organizing hierarchical architecture.

Development Status : 5 - Production/Stable[Filter]
Environment : No Input/Output \(Daemon\)[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : Other Audience[Filter]
Intended Audience : System Administrators[Filter]
Kind : Publication\(s\)[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Research center : Rennes (Now Filtering)
Topic : System : Clustering/Distributed Networks[Filter]
Topic : System : Software Distribution[Filter]
Topic : System : Systems Administration[Filter]

Activity Percentile: 0.00

Registered: 2012-01-13 12:55

Sintaks - Sintaks takes advantage of metamodels to generate fully operational tools for concrete syntaxes. It uses bidirectional mapping-models to support both model-to-text and text-to-model transformations (generators and parsers).

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

Activity Percentile: 0.00

Registered: 2007-06-07 15:42

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

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

Registered: 2018-10-03 13:16

WCDMA Matlab - Simulation WCDMA sur Matlab, estimation de la dynamique et de précision. Puis, implémentation en virgule fixe.
Development Status : 4 - Beta[Filter] Intended Audience : Developers (Now Filtering) Operating System : OS Independent (Now Filtering) Programming Language : Other[Filter] Research center : Rennes (Now Filtering) Topic : Scientific/Engineering[Filter]	Activity Percentile: 0.00 Registered: 2008-04-06 16:26

Music annotations - This project aims to distribute annotations of music data (structure, chords, other symbolic and numerical features) under version control, so that they may be shared and amended by the community.

Development Status : 5 - Production/Stable[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Publication\(s\)[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Other[Filter]
Research center : Rennes (Now Filtering)
Topic : Multimedia : Sound/Audio : Analysis[Filter]

Activity Percentile: 0.00

Registered: 2010-05-21 08:41

BioMAJ - BioMAJ (BIOlogie Mises A Jour) is a workflow engine dedicated to biological bank management. The Software automates the update cycle and the supervision of the locally mirrored bank repository. This repository holds the old v1 of BioMAJ. New release is available at https://github.com/genouest/biomaj

Development Status : 5 - Production/Stable[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Intended Audience : System Administrators[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
License : Public Domain[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Programming Language : Perl[Filter]
Research center : Rennes (Now Filtering)
Topic : Internet : Log Analysis[Filter]
Topic : Scientific/Engineering : Bio-Informatics[Filter]
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2006-05-12 12:33

25 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2>