Software Map
Project Tree
Now limiting view to projects in the following categories:
Environment :: Console (Text Based) [Remove This Filter]
53 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1>
<2> <3>
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: 94.26
Registered: 2005-11-29 10:06 |
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 |
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 |
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: 87.16
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: 86.15
Registered: 2008-07-04 12:56 |
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: 83.11
Registered: 2005-09-09 14:00 |
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.
|
|
Activity Percentile: 78.04
Registered: 2005-12-01 17:31 |
RefleX
- Welcome in the world of Active Tags !
RefleX uses XML tags as actions to perform. It allows to write Web applications as well as batch scripts just with tags, to browse non-XML objects like if they were XML with XPath, and much more.
Have the RefleX !
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : Other Environment[Filter]
- Environment : Web Environment[Filter]
- Intended Audience : Developers[Filter]
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Topic : Internet : WWW/HTTP : Dynamic Content[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 77.70
Registered: 2005-11-04 14:55 |
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: 77.03
Registered: 2005-10-28 13:22 |
bitdew
- Data for Dekstop Grids
|
- Development Status : 1 - Planning[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- 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 : System[Filter]
|
Activity Percentile: 64.19
Registered: 2006-03-23 13:54 |
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: 63.18
Registered: 2009-03-05 10:17 |
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: 60.81
Registered: 2008-02-13 16:03 |
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: 51.69
Registered: 2006-02-17 09:39 |
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]
|
Registered: 2005-10-13 12:08 |
Generic Trace Generator
- Generic Trace Generator (GTG) aims at providing a simple and generic interface for generating execution traces in several formats (OTF, Paje, etc.) It will be used by EZTrace and ViTE, but it can also be used by any application.
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : CeCILL-C[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : C[Filter]
- Programming Language : Fortran[Filter]
- Research center : Bordeaux - Sud-Ouest[Filter]
- Topic : Scientific/Engineering : Visualization[Filter]
- Topic : System : Logging[Filter]
|
Activity Percentile: 34.46
Registered: 2010-06-16 08:14 |
BT Instrumentation
- Instrumentation of the BitTorrent mainline client. The aim of the instrumentation is to provide complimentary informations on the client and on the peers connected to this client.
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience[Filter]
- License : Other/Proprietary License[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Python[Filter]
- Topic : Communications : File Sharing[Filter]
|
Activity Percentile: 28.38
Registered: 2006-08-23 15:03 |
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: 28.04
Registered: 2006-12-22 13:37 |
vep
- Virtual Execution Platform (VEP) is a cloud middleware software that interfaces multiple Infrastructure as a Service (IaaS) clouds and presents end-users with an interface facilitating ease of deployment and application life cycle management of distributed applications made up of several inter-networked virtual machines. VEP project has been initiated in the framework of the FP Contrail EU integrated project (2010-2014) and further developed in the VEP-S activity funded by EIT ICT Labs (2014).
Wiki : vep.gforge.inria.fr
|
- Development Status : 4 - Beta[Filter]
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : X11 Applications[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : System Administrators[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 : Rennes[Filter]
- Topic : System : Clustering/Distributed Networks[Filter]
|
Registered: 2012-05-23 15:36 |
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]
|
Registered: 2005-10-13 11:50 |
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: 25.34
Registered: 2005-09-21 09:13 |
53 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1>
<2> <3>
