Software Map
Project Tree
Now limiting view to projects in the following categories:
Development Status :: 2 - Pre-Alpha [Remove This Filter]
29 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1>
<2>
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.
|
|
Activity Percentile: 10.82
Registered: 2008-11-24 17:53 |
Toolbox for Opacity
- This Java toolbox is a set of tools dedicated to the study of the opacity of systems. Various notions of opacity are planned to be integrated such as normal opacity, k-opacity, and infinite opacity.
|
|
Activity Percentile: 0.00
Registered: 2010-03-09 11:24 |
SGVisual
- SGVisual aims to manage and ease the developement of experiments based on the SimGrid toolkit, by providing tools for documentation, compiling and executing projects, easy edition of the platform description, Chord demo...
|
- Development Status : 2 - Pre-Alpha (Now Filtering)
- Environment : X11 Applications[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : Public Domain[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Nancy[Filter]
- Topic : Software Development : Build Tools[Filter]
|
Activity Percentile: 0.00
Registered: 2011-03-04 09:40 |
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 (Now Filtering)
- 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[Filter]
- Natural Language : French[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Montbonnot[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2007-05-14 15:09 |
jlr-moais-ext
- Directory to develop papers that are written with collaborators outside Moais / memo project.
|
- Development Status : 2 - Pre-Alpha (Now Filtering)
- Intended Audience : Developers[Filter]
- Kind : Work group[Filter]
- Natural Language : English[Filter]
- Research center : Montbonnot[Filter]
- Topic : Scientific/Engineering[Filter]
|
Activity Percentile: 0.00
Registered: 2007-06-27 12:08 |
LexiComp
- The Lexicomp project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme)
|
- Development Status : 2 - Pre-Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Nancy[Filter]
- Topic : Software Development : Compilers[Filter]
|
Activity Percentile: 0.00
Registered: 2009-11-10 11:10 |
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 (Now Filtering)
- 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[Filter]
- Natural Language : French[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Research center : Bordeaux - Sud-Ouest[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2016-12-06 10:16 |
VerveineSharp C# Extractor
- For program information and analysis of .NET projects with Moose.
|
- Development Status : 2 - Pre-Alpha (Now Filtering)
- Environment : Win32 \(MS Windows\)[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[Filter]
- Natural Language : French[Filter]
- Operating System : Microsoft : Windows[Filter]
- Programming Language : C#[Filter]
- Research center : Lille - Nord Europe[Filter]
- Topic : Scientific/Engineering : Data Mining[Filter]
- Topic : Scientific/Engineering : Visualization[Filter]
|
Activity Percentile: 0.00
Registered: 2011-04-27 08:21 |
Dynamic Route Daemon (Derouted)
- Derouted is a prototype SDN controller that performs per-flow routing decisions. The decision algorithm uses passive performance measurements as input, and aims at minimising congestion between the competing flows. Considering source-destination flows as players, it can be proven to converge to a Nash Equilibrium under certain assumptions.
Derouted uses Openflow to program the forwarding plane of routers, and to collect packet headers for passive performance measurements. Derouted is currently written in Python, on top of the Ryu Openflow controller.
|
- Development Status : 2 - Pre-Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience[Filter]
- Intended Audience : System Administrators[Filter]
- Kind : Software[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX[Filter]
- Programming Language : Python[Filter]
- Research center : Montbonnot[Filter]
- Topic : Internet[Filter]
- Topic : System : Networking[Filter]
|
Activity Percentile: 0.00
Registered: 2015-12-02 13:19 |
RCCL
- Design and implementation of the RCCL v3 language
|
- Development Status : 2 - Pre-Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Software Development : Compilers[Filter]
|
Activity Percentile: 0.00
Registered: 2010-09-09 12:59 |
OSCARonDebian
- OSCAR was initially developed for RPM based Linux distributions. OSCARonDebian is the port to the Debian distribution.
|
- Development Status : 2 - Pre-Alpha (Now Filtering)
- Intended Audience : Developers[Filter]
- Intended Audience : System Administrators[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Programming Language : Perl[Filter]
- Topic : System : Software Distribution[Filter]
|
Registered: 2006-01-18 13:25 |
p2pEdit:decentralized Wiki on P2Pnetwork
- p2pEdit (alpha), Wiki décentralisé sur un réseau P2P. Platforme d'édition collaborative décentralisée sur des réseaux pair à pair. Equipe Cassis (Loria)
|
- Development Status : 2 - Pre-Alpha (Now Filtering)
- Development Status : 3 - Alpha[Filter]
- Environment : Other Environment[Filter]
- Environment : Win32 \(MS Windows\)[Filter]
- Environment : X11 Applications[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Research center : Nancy[Filter]
- Topic : Communications[Filter]
- Topic : System : Clustering/Distributed Networks[Filter]
- Topic : Text Editors[Filter]
|
Activity Percentile: 0.00
Registered: 2008-05-14 20:08 |
OMEGSI
- OMEGSI is an integrated development environment (IDE) for collaborative portals. It allows business process-centered modeling, process simulation, process optimization and full code generation for collaborative portals.
|
- Development Status : 2 - Pre-Alpha (Now Filtering)
- Environment : Other Environment[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU Affero General Public License v3 \(AGPL\)[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Programming Language : Python[Filter]
- Research center : Lille - Nord Europe[Filter]
- Topic : Software Development : Code Generators[Filter]
- Topic : Software Development : Compilers[Filter]
|
Activity Percentile: 0.00
Registered: 2011-10-07 17:27 |
traduction Speech to Text - PAROLE@LORIA
- MaParole is the speech translation system developped at INRIA PAROLE team. This project and associated source code and documentation shall remain private during early developpment stages but will be made public as soon as it reaches acceptable maturity.
|
- Development Status : 2 - Pre-Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : OSI Approved : BSD License[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
|
Activity Percentile: 0.00
Registered: 2011-01-06 10:25 |
MaPHyS Massivelly Parallel Hybrid Solver
- MaPHyS (Massivelly Parallel Hybrid Solver) is High performance solver for large linear algebra problems coupling direct and iterative approaches.
|
- Development Status : 2 - Pre-Alpha (Now Filtering)
- Environment : MPI[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : CeCILL-C[Filter]
- Natural Language : French[Filter]
- Programming Language : C[Filter]
- Programming Language : Fortran[Filter]
- Research center : Bordeaux - Sud-Ouest[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2009-12-21 14:42 |
FP-Hadoop
- FP-Hadoop is an improvement of Hadoop framework which aims to avoid skew in the reduce phase in order to improve the system response time.
|
- Development Status : 2 - Pre-Alpha (Now Filtering)
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- Natural Language : English[Filter]
- Programming Language : Java[Filter]
- Research center : Sophia Antipolis[Filter]
- Topic : System : Clustering/Distributed Networks[Filter]
|
Activity Percentile: 0.00
Registered: 2013-05-31 10:12 |
Educational Image Library
- EdIL est une bibliothèque C++ basée sur SDL destinée à faciliter la programmation d'algorithmes sur les images ainsi que la gestion des évènements claviers et souris pour la manipulation d'images. Elle se destine aux étudiants apprenant le C++.
|
- Development Status : 2 - Pre-Alpha (Now Filtering)
- Intended Audience : Developers[Filter]
- Kind : Software[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 : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Rennes[Filter]
- Topic : Education[Filter]
- Topic : Multimedia : Graphics[Filter]
|
Activity Percentile: 0.00
Registered: 2012-01-01 13:45 |
Shared Calendar Application - Sakura
- Sakura is a collaborative shared calendar application.
|
- Development Status : 2 - Pre-Alpha (Now Filtering)
- Environment : Other Environment[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : BSD License[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Office/Business : Scheduling[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2008-01-11 11:20 |
qumin
- Qumin (Quantitative Modeling of Inflection) is a platform for the computational modeling of the inflectional morphology of languages.
|
- Development Status : 2 - Pre-Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Python[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering[Filter]
|
Registered: 2015-01-19 12:40 |
Netquest
- The Netquest system is a software for adhoc networks. It offers a
high level programming abstraction allowing to express in a
declarative way both networking protocols and network applications.
|
- Development Status : 2 - Pre-Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Environment : X11 Applications[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : Other/Proprietary License[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX[Filter]
- Programming Language : C\+\+[Filter]
- Topic : Scientific/Engineering[Filter]
|
Activity Percentile: 0.00
Registered: 2008-02-26 10:20 |
29 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1>
<2>
