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]
12 projects in result set.
Siconos
- This software is dedicated to the modeling, the simulation and the control of NonSmooth Dynamical Systems with main applications to the nonsmooth Mechanics (impact, contact and friction) and the nonsmooth Electricity (diodes and MOS transistors).
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : POSIX : GNU/Linux (Now Filtering)
- Programming Language : C\+\+[Filter]
- Programming Language : Fortran[Filter]
- Programming Language : Python[Filter]
- Research center : Montbonnot[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : Software Development (Now Filtering)
|
Activity Percentile: 84.84
Registered: 2005-02-25 10:20 |
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[Filter]
- 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: 76.09
Registered: 2007-09-06 20:42 |
DyALog
- DyALog is an environment to compile and run logic programs and natural language tabular parsers for various grammatical formalisms (DCGs, TAGs, TIGs, RCGs)
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Operating System : POSIX : GNU/Linux (Now Filtering)
- Programming Language : Assembly[Filter]
- Programming Language : C[Filter]
- Programming Language : Prolog[Filter]
- Topic : Software Development (Now Filtering)
|
Activity Percentile: 70.55
Registered: 2006-09-11 12:49 |
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[Filter]
- 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: 67.64
Registered: 2005-10-06 11:03 |
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[Filter]
- Operating System : POSIX : GNU/Linux (Now Filtering)
- Programming Language : C\+\+[Filter]
- Topic : Software Development (Now Filtering)
|
Registered: 2011-01-24 12:41 |
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[Filter]
- 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: 46.65
Registered: 2006-11-21 09:06 |
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[Filter]
- 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 |
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[Filter]
- 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[Filter]
- 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 |
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[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : X11 Applications : Gnome[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- 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 (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2010-09-24 13:31 |
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[Filter]
- 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 |
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[Filter]
- 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 |
