Software Map

Project Tree

Now limiting view to projects in the following categories:
Environment :: Console (Text Based) [Remove This Filter]

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

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

Dose: library and tools - Dose is a library and a collection of tools to perform la large spectrum of analysis on package repositories. Dose manipulates packages repositories from different sources such as Debian, Rpm, Eclipse/Osgi and OpenCSW / Solaris .
Development Status : 5 - Production/Stable[Filter] Environment : Console \(Text Based\) (Now Filtering) Intended Audience : Developers[Filter] Kind : Software[Filter] License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter] Operating System : OS Independent[Filter] Programming Language : Objective-Caml[Filter] Topic : System : Software Distribution[Filter]	Registered: 2012-10-11 07:40

PaStiX - PaStiX 6.0.0 and next releases will be hosted on: https://gitlab.inria.fr/solverstack/pastix PaStiX is a high performance parallel solver for very large sparse linear systems based on direct methods. It provides also an adaptive blockwise iLU(k) factorization that can be used as a parallel preconditioner.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : MPI[Filter]
Environment : OpenMP[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : CeCILL-C[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : OS Independent[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Programming Language : Fortran[Filter]
Programming Language : Python[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 73.88

Registered: 2005-12-01 17:31

SmartEiffel - SmartEiffel The GNU Eiffel compiler, tools and libraries. Software Engineering. Object Oriented Design. Design by contracts.

Development Status : 6 - Mature[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Intended Audience : Other Audience[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
License : OSI Approved : MIT/X Consortium License[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Natural Language : Spanish[Filter]
Operating System : OS Independent[Filter]
Programming Language : Eiffel[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development : Compilers[Filter]
Topic : Software Development : Debuggers[Filter]

Activity Percentile: 70.34

Registered: 2005-11-29 10:06

Javalib & Sawja - Javalib is a library to access and manipulate Java class files from OCaml. Sawja is a library that provides a program representation and allows its manipulation. It also provides intermediate representations and algorithms for static analysis.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Rennes[Filter]
Topic : Software Development : Compilers[Filter]

Registered: 2007-02-21 09:03

Tom - Tom is an extension of Java designed to manipulate tree structures and XML documents.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
License : OSI Approved : BSD License[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : C[Filter]
Programming Language : Java[Filter]
Programming Language : Other[Filter]
Topic : Software Development : Code Generators[Filter]
Topic : Software Development : Compilers[Filter]

Activity Percentile: 63.99

Registered: 2005-09-09 14:00

paradisEO - PARAllel and DIStributed Evolving Objects: a white-box object-oriented framework dedicated to the flexible design of metaheuristics

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : MPI[Filter]
Environment : Win32 \(MS Windows\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : OS Independent[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Python[Filter]
Research center : Lille - Nord Europe[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]
Topic : System : Clustering/Distributed Networks[Filter]

Activity Percentile: 56.53

Registered: 2005-10-28 13:22

Gappa - Tool for verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. It can be used either directly or as a back-end for other tools, e.g. Coq or Why.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : C\+\+[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development[Filter]

Activity Percentile: 55.60

Registered: 2009-09-16 08:55

bzr - Controller synthesis for the design of embedded systems

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Montbonnot[Filter]
Research center : Rennes[Filter]
Topic : Software Development : Compilers[Filter]

Activity Percentile: 55.22

Registered: 2008-07-04 12:56

exitbm - Library related to the first exit time and position of a Brownian motion for simple domains (segments, squares, rectangles, ...).
Development Status : 4 - Beta[Filter] Environment : Console \(Text Based\) (Now Filtering) Intended Audience : Other Audience[Filter] Kind : Software[Filter] License : CeCILL[Filter] Natural Language : English[Filter] Operating System : OS Independent[Filter] Programming Language : C[Filter] Research center : Nancy[Filter] Topic : Scientific/Engineering : Mathematics[Filter]	Activity Percentile: 41.42 Registered: 2009-03-05 10:17

TakTuk - Taktuk is a library for efficient large scale deployment of remote executions. The development is headed by the MOAIS INRIA project. The tool is used as a launcher in the KAAPI library and as an administration tool on Grid5000 INRIA platform.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\) (Now Filtering)
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 : OS Independent[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Programming Language : Perl[Filter]
Research center : Montbonnot[Filter]
Topic : Software Development[Filter]
Topic : System : Clustering/Distributed Networks[Filter]
Topic : System : Systems Administration[Filter]

Activity Percentile: 40.86

Registered: 2006-02-17 09:39

Polyphemus - Polyphemus is an air quality modeling system, developed by École des ponts, EDF R&D and INRIA. It includes several chemistry-transport models (for radionuclides, photochemistry, aerosols, ...), data assimilation algorithms and ensemble methods.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\) (Now Filtering)
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]
Programming Language : C\+\+[Filter]
Programming Language : Fortran[Filter]
Programming Language : Python[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 39.18

Registered: 2008-02-13 16:03

Alignment API - The Alignment API allows various ontology matchers to share the same format and interface for accessing matching results. It also features a reference implementation and the Alignment server.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : Web Environment[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : CeCILL-C[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]

Activity Percentile: 20.71

Registered: 2005-10-13 12:08

GINNet and DynNet - GINNet is a graphical platform of data-mining, developped in Java and bases on DynNet library, allowing easy manipulation of neural networks, decision trees, etc.

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : Win32 \(MS Windows\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Intended Audience : Other Audience[Filter]
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]

Activity Percentile: 19.22

Registered: 2005-09-21 09:13

Transmorpher - Transmorpher is a software environment for defining and processing complex transformations of XML documents.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : No Input/Output \(Daemon\)[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : System Administrators[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Topic : Internet : WWW/HTTP : Dynamic Content[Filter]

Activity Percentile: 16.42

Registered: 2005-10-13 11:50

SmartTools Software Factory - The SmartTools software is used to develop more rapidelly Eclipse-based applications (plugins), Service-Oriented Applications into Eclipse frame-work and Peer-to-Peer Service-Oriented Applications on top of an Overlay Network (PON).

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : No Input/Output \(Daemon\)[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
Kind : Work group[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Software Development[Filter]
Topic : System : Networking[Filter]
Topic : System : Software Distribution[Filter]

Activity Percentile: 15.30

Registered: 2006-08-31 16:01

OWL-Lite Alignment - OLA (OWL-Lite Alignment) matches ontologies written in OWL. It relies on a similarity combining all the knowledge used in entity descriptions. It also deal with one-to-many relationships and circularity in entity descriptions through a fixpoint algorithm.
Development Status : 3 - Alpha[Filter] Environment : Console \(Text Based\) (Now Filtering) Intended Audience : Developers[Filter] License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter] Natural Language : English[Filter] Operating System : OS Independent[Filter] Programming Language : Java[Filter] Topic : Scientific/Engineering : Artificial Intelligence[Filter]	Activity Percentile: 7.28 Registered: 2006-02-15 21:13

NeuralFieldSimulator - The simulator computes numerically activity in 2dimensional neural fields by solving integral-differential equations involving transmission delays and visualizes the spatio-temporal activity.

Development Status : 1 - Planning[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Python[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Research center : Nancy[Filter]
Topic : Education : Testing[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 6.53

Registered: 2012-06-22 11:12

TransforMesh, MeshHOG, MVViewer - This repository hosts the following projects: TransforMesh - a self-intersection removal solution for triangular Meshes; MeshHOG - a 3-D mesh descriptor for triangular meshes; MVViewer - Multiple Camera and Mesh Viewer.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : OpenMP[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
License : OSI Approved : QT Public License \(QPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : C\+\+[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering : Medical Science Apps\.[Filter]
Topic : Scientific/Engineering : Visualization[Filter]

Activity Percentile: 0.00

Registered: 2006-12-22 13:37

Nullability Inference Tool - NIT (Nullability Inference Tool) is a tool to infer non-null annotations for fields and methods in Java programs to be able to use annotation facility in Java 5 and the checkers that are developed by third parties.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : OS Independent[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Rennes[Filter]
Topic : Security[Filter]
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2008-04-30 12:04

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

Development Status : 3 - Alpha[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
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

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