Software Map

Project Tree

Now limiting view to projects in the following categories:
Operating System :: OS Independent [Remove This Filter]
Natural Language :: English [Remove This Filter]
Environment :: Console (Text Based) [Remove This Filter]

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

10 projects in result set.

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

Activity Percentile: 85.95

Registered: 2008-07-04 12:56

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\) (Now Filtering)
Intended Audience : Developers[Filter]
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 (Now Filtering)
Programming Language : Java[Filter]
Research center : Rennes[Filter]
Topic : Software Development[Filter]

Activity Percentile: 36.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\) (Now Filtering)
Environment : Web Environment[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : Ruby[Filter]
Research center : Rennes[Filter]
Topic : System : Clustering/Distributed Networks[Filter]

Activity Percentile: 8.70

Registered: 2012-05-03 08:29

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\) (Now Filtering)
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Intended Audience : System Administrators[Filter]
Kind : Software[Filter]
License : OSI Approved : BSD License[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent (Now Filtering)
Programming Language : Java[Filter]
Research center : Rennes[Filter]
Topic : System : Clustering/Distributed Networks[Filter]

Registered: 2012-05-23 15:36

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

Activity Percentile: 5.69

Registered: 2008-04-30 12:04

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

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

Registered: 2018-10-03 13:16

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\) (Now Filtering)
Intended Audience : Developers[Filter]
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 (Now Filtering)
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

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[Filter]
Kind : Software[Filter]
Kind : Work group[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent (Now Filtering)
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

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

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : Web Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Work group[Filter]
License : Other/Proprietary License[Filter]
Natural Language : English (Now Filtering)
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[Filter]
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