Software Map

Project Tree

Now limiting view to projects in the following categories:
Intended Audience :: Developers [Remove This Filter]
Development Status :: 3 - Alpha [Remove This Filter]

Operating System > POSIX AIX (2 projects) BSD (3 projects) GNU/Hurd (0 projects) GNU/Linux (204 projects) HP-UX (0 projects) IRIX (0 projects) Other (0 projects) SCO (0 projects) SunOS/Solaris (2 projects)	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

9 projects in result set.

Heptagon - Research compiler for an experimental dialect of Lustre.
Development Status : 3 - Alpha (Now Filtering) Environment : Console \(Text Based\)[Filter] Intended Audience : Developers (Now Filtering) Kind : Software[Filter] Operating System : MacOS[Filter] Operating System : POSIX[Filter] Programming Language : Objective-Caml[Filter] Topic : Software Development : Code Generators[Filter] Topic : Software Development : Compilers[Filter]	Activity Percentile: 84.36 Registered: 2010-05-28 13:41

geogram - fast, simple and easy-to-use primitives for geometric programming

Development Status : 3 - Alpha (Now Filtering)
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : BSD License[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Research center : Nancy[Filter]
Topic : Multimedia : Graphics : 3D Modeling[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 68.89

Registered: 2014-03-22 10:05

Damaris - Damaris (Dedicated Adaptive Middleware for Application's Resources Inline Steering) aims at providing a library for efficient resource management (in particular memory) on multicore SMP nodes, leveraging dedicated cores for distributed services.

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Environment : MPI[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 : POSIX[Filter]
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Fortran[Filter]
Research center : Rennes[Filter]
Topic : Database : Database Engines/Servers[Filter]
Topic : Scientific/Engineering : Visualization[Filter]
Topic : System : Filesystems[Filter]

Activity Percentile: 7.56

Registered: 2011-02-23 13:03

Standard C Atomics - This project provides an implementation of the C11 interface for atomic operations, based on compiler extensions as are provided by gcc and clang.

Development Status : 3 - Alpha (Now Filtering)
Environment : Other Environment[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : System Administrators[Filter]
Kind : Software[Filter]
License : Creative Commons : CC-by[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Research center : Nancy[Filter]
Topic : Software Development : Compilers[Filter]
Topic : System : Hardware[Filter]

Activity Percentile: 0.00

Registered: 2015-11-26 15:32

Modular C - This is a reference implementation of the extension to the C programming language.

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : BSD License[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Programming Language : Unix Shell[Filter]
Research center : Nancy[Filter]
Topic : Software Development : Code Generators[Filter]
Topic : Software Development : Compilers[Filter]

Activity Percentile: 0.00

Registered: 2015-06-29 12:27

SimSoC-Cert - Development of libraries and tools for the certification of a simulator for various architectures used in embedded systems.

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Objective-Caml[Filter]
Topic : Software Development : Code Generators[Filter]
Topic : System : Emulators[Filter]
Topic : System : Hardware[Filter]

Registered: 2009-11-13 02:29

ProverEditor - A lightweight multi-prover interface in Eclipse.

Development Status : 3 - Alpha (Now Filtering)
Environment : Other Environment[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft[Filter]
Operating System : POSIX[Filter]
Programming Language : Java[Filter]
Topic : Text Editors : Integrated Development Environments \(IDE\)[Filter]

Activity Percentile: 0.00

Registered: 2006-04-04 10:14

Zephyrus - Optimal Cloud Deployment - Zephyrus is a tool that allows to compute optimal application configuration for cloud deployment from hight level specification. It is part of the outcomes of the ANR Aeolus project.

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software[Filter]
License : OSI Approved[Filter]
Operating System : POSIX[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Rocquencourt[Filter]
Topic : System : Clustering/Distributed Networks[Filter]
Topic : System : Systems Administration[Filter]

Activity Percentile: 0.00

Registered: 2013-03-04 13:51

WSNet - WSNet is a modular event-driven simulator targeted to Wireless Sensor Networks. Its main goals are to offer scalabiliy, extensibility and modularity for the integration of new protocols/hardware models and a precise radio medium simulation.

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 0.00

Registered: 2007-11-15 10:07