Software Map

Project Tree

Now limiting view to projects in the following categories:
Operating System :: POSIX :: GNU/Linux [Remove This Filter]
Topic :: Software Development [Remove This Filter]
Natural Language :: English [Remove This Filter]

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

13 projects in result set.

Why3 - Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers. The project is no longer maintained here. You can find the repository and the issue tracker at https://gitlab.inria.fr/why3/why3/

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 (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Security[Filter]
Topic : Software Development (Now Filtering)

Activity Percentile: 94.88

Registered: 2010-11-05 10:44

SODIAC - SODIAC stands for SOftware DIstribution Analysis Chain. Documentation is available on the wiki: http://gforge.inria.fr/plugins/wiki/index.php?id=929&type=g

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : System Administrators[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C[Filter]
Programming Language : Java[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Rocquencourt[Filter]
Topic : Software Development (Now Filtering)

Activity Percentile: 69.97

Registered: 2007-09-06 20:42

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\)[Filter]
Environment : OpenMP[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Fortran[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development (Now Filtering)
Topic : System : Clustering/Distributed Networks[Filter]

Activity Percentile: 59.73

Registered: 2005-10-06 11:03

T3DevKit - T3DevKit is a set of libraries and tools for TTCN-3 automatic CoDec generation and adaptors (SA and TA) easy and quick development.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : CeCILL-C[Filter]
Natural Language : English (Now Filtering)
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Topic : Software Development (Now Filtering)

Activity Percentile: 19.11

Registered: 2006-11-21 09:06

Low Level Component Model C++ (LLCMc++) - Low Level C++ Component Model that supports interactions between components through plain C++ calls, MPI and CORBA.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C\+\+[Filter]
Topic : Software Development (Now Filtering)

Registered: 2011-01-24 12:41

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

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

Registered: 2012-05-22 14:59

Coqine - A Coq to Dedukti translator.
Development Status : 4 - Beta[Filter] Environment : Console \(Text Based\)[Filter] Intended Audience : Developers[Filter] Kind : Software[Filter] Natural Language : English (Now Filtering) Operating System : POSIX : GNU/Linux (Now Filtering) Programming Language : Objective-Caml[Filter] Research center : Rocquencourt[Filter] Topic : Software Development (Now Filtering)	Activity Percentile: 0.00 Registered: 2013-05-24 11:51

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\)[Filter]
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
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 (Now Filtering)
Programming Language : C\+\+[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development (Now Filtering)

Activity Percentile: 0.00

Registered: 2007-05-14 15:09

OCaml-share - Share is a(nother) library of useful OCaml functions and modules. But it can be used as a classic OCaml library (download, compile, install, use and link with), or with Caml-get, since all elements are exported in a caml-get archive.

Development Status : 4 - Beta[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Rocquencourt[Filter]
Topic : Software Development (Now Filtering)

Activity Percentile: 0.00

Registered: 2006-03-02 09:04

marmoteCore - Le projet a pour objectif de réaliser le prototype d'un environnement logiciel dédié à la modélisation avec les chaînes de Markov.

Development Status : 4 - Beta[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : Public Domain[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Software Development (Now Filtering)

Activity Percentile: 0.00

Registered: 2014-04-24 11:08

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

Registered: 2016-02-03 08:19

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\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : BSD License[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C[Filter]
Research center : Nancy[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development (Now Filtering)

Activity Percentile: 0.00

Registered: 2012-12-29 14:16

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\)[Filter]
Environment : MPI[Filter]
Intended Audience : Developers[Filter]
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 (Now Filtering)
Programming Language : C[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development (Now Filtering)

Activity Percentile: 0.00

Registered: 2016-12-06 10:16