Software Map

Project Tree

Now limiting view to projects in the following categories:
Kind :: Software [Remove This Filter]
Development Status :: 3 - Alpha [Remove This Filter]
Operating System :: POSIX :: GNU/Linux [Remove This Filter]

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

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

Graphite - Graphite is a research platform for computer graphics, 3D modeling and numerical geometry.

Development Status : 3 - Alpha (Now Filtering)
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C\+\+[Filter]
Research center : Nancy[Filter]
Topic : Multimedia : Graphics : 3D Modeling[Filter]
Topic : Scientific/Engineering : Visualization[Filter]

Activity Percentile: 88.29

Registered: 2008-09-08 09:34

iStoa.net - iSTOA.net est une plateforme pédagogique d'activités interactives et de suivi par Internet. Son utilisation est multiple : utilisation en classe, utilisation à la maison ou en remédiation avec suivi différé par l'enseignant.

Development Status : 3 - Alpha (Now Filtering)
Environment : Web Environment[Filter]
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : MIT/X Consortium License[Filter]
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Smalltalk[Filter]
Research center : Lille - Nord Europe[Filter]
Topic : Education : Computer Aided Instruction \(CAI\)[Filter]

Activity Percentile: 77.18

Registered: 2008-05-16 08:15

CardioViz3D - CardioViz3D is a software dedicated to cardiac data processing, assimilation and visualization. It is part of CardioSense3D, a Large Initiative Action (http://www-sop.inria.fr/CardioSense3D), and targets researchers as well as clinicians.

Development Status : 3 - Alpha (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : Other/Proprietary License[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C\+\+[Filter]
Research center : Rocquencourt[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Scientific/Engineering : Medical Science Apps\.[Filter]
Topic : Scientific/Engineering : Visualization[Filter]

Activity Percentile: 65.77

Registered: 2007-03-21 14:03

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[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Nancy[Filter]

Activity Percentile: 55.26

Registered: 2010-01-26 14:39

Slimmer - Sophisticated logic implementations for modeling and mechanical reasoning. Current coding efforts are focused on building the Bedwyr proving system in OCaml.

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : Microsoft : Windows : Windows NT/2000[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 44.74

Registered: 2006-05-11 20:47

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[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : BSD License[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 31.23

Registered: 2014-11-06 09:33

Steganography and Covert Channels - Steganography and Covert Channels source code repo

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Java[Filter]
Research center : Rennes[Filter]
Topic : Security[Filter]

Activity Percentile: 24.02

Registered: 2014-09-29 13:56

A Smart Scheduler for Virtual Marchines - SVMSched is a VM orchestrator enabling to set up on-demand- SaaS and PaaS clouds. Relying currently on OpenNebula, it allows to schedule requests through "Smart Virtual Machines" that allow to configure execution environments automatically.

Development Status : 3 - Alpha (Now Filtering)
Environment : No Input/Output \(Daemon\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Intended Audience : System Administrators[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C\+\+[Filter]
Programming Language : Unix Shell[Filter]
Research center : Montbonnot[Filter]
Topic : System[Filter]

Activity Percentile: 23.42

Registered: 2010-06-04 08:10

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

Activity Percentile: 23.12

Registered: 2007-03-07 16:37

OpenEmbeDD - OpenEmbeDD is an ANR project. Its goal is to build an open-source platform for Model Driven Engineering of Real Time and embedded systems.

Development Status : 3 - Alpha (Now Filtering)
Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : CeCILL-B[Filter]
License : OSI Approved : Eclipse Public Licence[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Java[Filter]
Programming Language : Other[Filter]
Research center : Rennes[Filter]
Research center : Rocquencourt[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Software Development : Build Tools[Filter]
Topic : Software Development : Code Generators[Filter]

Activity Percentile: 13.51

Registered: 2006-10-18 11:29

TLA+ tools - The Proof Manager and the GUI toolbox for the TLA+2 specification and proof language.

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : BSD License[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 10.21

Registered: 2009-09-21 09:47

Datalift - The Datalift platform aims at easing and automating publication of raw structured datasets on the Web of data. // La plateforme Datalift est un toolkit pour facilement et automatiquement publier des jeux de données structurés sur le Web des données.

Development Status : 3 - Alpha (Now Filtering)
Development Status : 4 - Beta[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Intended Audience : Other Audience[Filter]
Kind : Publication\(s\)[Filter]
Kind : Software (Now Filtering)
Kind : Work group[Filter]
License : CeCILL[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Java[Filter]
Programming Language : JavaScript[Filter]
Research center : Montbonnot[Filter]
Research center : Rocquencourt[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Database : Database Engines/Servers[Filter]
Topic : Database : Front-Ends[Filter]
Topic : Other/Nonlisted Topic[Filter]

Registered: 2010-09-30 13:05

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[Filter]
Intended Audience : Other Audience[Filter]
Kind : Publication\(s\)[Filter]
Kind : Software (Now Filtering)
Kind : Work group[Filter]
License : CeCILL[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
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: 6.01

Registered: 2007-06-08 11:51

MTM - Modeling and Tracing Memory Library and tools to investigate memory consumption and memory scalability on parallel machines: on the road to Exascale machines.

Development Status : 3 - Alpha (Now Filtering)
Environment : MPI[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : CeCILL-B[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C[Filter]
Programming Language : Fortran[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development : Build Tools[Filter]

Activity Percentile: 1.20

Registered: 2014-02-07 15:36

Expo - EXPeriment cOntrol, Expo is aimed at developing tools to control the experimental process on Grid5000.

Development Status : 3 - Alpha (Now Filtering)
Environment : Other Environment[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Ruby[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 0.00

Registered: 2006-03-01 14:05

sams - sams stands for "Synchronous Autonomic Management Software"; it is a tool demonstrating the use of reactive design techniques in the context of autonomic management systems.

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \\\\\(Text Based\\\\\) : Curses[Filter]
Intended Audience : Developers[Filter]
Intended Audience : System Administrators[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Java[Filter]
Programming Language : Other[Filter]
Programming Language : Unix Shell[Filter]
Research center : Montbonnot[Filter]
Research center : Rennes[Filter]
Topic : System : Installation/Setup[Filter]
Topic : System : Systems Administration[Filter]

Activity Percentile: 0.00

Registered: 2014-01-20 13:32

Proof Manager - Proof Manager is a test platform for SMT solvers, useful to run series of benchmarks (locally and distributed) and analyze results through a graphical interface.

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Environment : X11 Applications : Gnome[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2010-09-24 13:31

GridCOMP WP5 GridSystems Use Cases - The purpose of this InriaGforge project is to host all the needed files to perform large scale experiments of the GridCOMP use case applications (those from GridSystems) using Grid'5000.

Development Status : 3 - Alpha (Now Filtering)
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Java[Filter]
Topic : Office/Business[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 0.00

Registered: 2008-01-28 08:48

FaceAnimation - FaceAnimation is a software to animate human avatars based of the MPEG4 face animation standard (.fap) for any WRML face mesh using the Candide3 face model to (semi-automatically) project.

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Publication\(s\)[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows : Windows 95/98/2000[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C\+\+[Filter]
Research center : Nancy[Filter]
Topic : Multimedia : Graphics : 3D Modeling[Filter]
Topic : Multimedia : Video : Capture[Filter]
Topic : Scientific/Engineering : Visualization[Filter]

Activity Percentile: 0.00

Registered: 2010-07-20 07:24

EDOS Content Distribution System - EDOS CDS is a large scale content distribution software articulated around a P2P information system. Please visit http://www.edos-project.org/ for more details.

Development Status : 3 - Alpha (Now Filtering)
Environment : Web Environment[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Intended Audience : System Administrators[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Java[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : System : Software Distribution[Filter]

Activity Percentile: 0.00

Registered: 2007-08-01 12:34

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