Software Map

Project Tree

Now limiting view to projects in the following categories:
Environment :: Console (Text Based) [Remove This Filter]
Topic :: Scientific/Engineering [Remove This Filter]
Natural Language :: English [Remove This Filter]

Environment > Console \(Text Based\) Curses (3 projects) Newt (0 projects)	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

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

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 (Now Filtering)
Natural Language : French[Filter]
Natural Language : Spanish[Filter]
Operating System : OS Independent[Filter]
Programming Language : Eiffel[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : Software Development : Compilers[Filter]
Topic : Software Development : Debuggers[Filter]

Activity Percentile: 94.89

Registered: 2005-11-29 10:06

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 (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : C\+\+[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : Software Development[Filter]

Activity Percentile: 85.30

Registered: 2009-09-16 08:55

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\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Fortran[Filter]
Programming Language : Python[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : Software Development[Filter]

Activity Percentile: 82.75

Registered: 2005-02-25 10:20

MPTK: The Matching Pursuit ToolKit - The Matching Pursuit Tool Kit (MPTK) provides a fast implementation of the Matching Pursuit algorithm for the sparse decomposition and plotting of multichannel audio signals. It comprises a library, standalone utilities, and Matlab+Python wrappers.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX[Filter]
Programming Language : C\+\+[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 80.19

Registered: 2005-06-30 13:31

MMG3D - MMG3d is an isotropic/anisotropic tetrahedral fully automatic remesher

Development Status : 5 - Production/Stable[Filter]
Development Status : 6 - Mature[Filter]
Environment : Console \(Text Based\) (Now Filtering)
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 (Now Filtering)
Operating System : MacOS[Filter]
Operating System : Microsoft[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 68.37

Registered: 2012-09-07 06:58

Distem - a DISTributed systems EMulator

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Ruby[Filter]
Research center : Nancy[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 59.11

Registered: 2011-08-24 12:16

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\) (Now Filtering)
Environment : OpenMP[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Fortran[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : Software Development[Filter]
Topic : System : Clustering/Distributed Networks[Filter]

Activity Percentile: 48.56

Registered: 2005-10-06 11:03

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 (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Fortran[Filter]
Programming Language : Python[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 42.49

Registered: 2008-02-13 16:03

OMiSCID - O3MiSCID (aka OMiSCID) is an Object Oriented Opensource Middleware for Service Communication, Inspection and Discovery

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : Win32 \(MS Windows\)[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
License : OSI Approved : MIT/X Consortium License[Filter]
Natural Language : English (Now Filtering)
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Java[Filter]
Programming Language : Python[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : Software Development : Build Tools[Filter]

Activity Percentile: 39.94

Registered: 2006-05-05 09:24

qumin - Qumin (Quantitative Modeling of Inflection) is a platform for the computational modeling of the inflectional morphology of languages.

Development Status : 2 - Pre-Alpha[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : Python[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering (Now Filtering)

Registered: 2015-01-19 12:40

ZenoSolver - ZenoSolver is a C++11 software dedicated to generate and solve MultiZenoTravel instances.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : OpenMP[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
License : CeCILL-B[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 28.75

Registered: 2014-04-03 06:13

Dedukti - A type-checker for λΠ-modulo user-defined rewrite rules. The latest version is available under opam.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml[Filter]
Programming Language : Other[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 1.28

Registered: 2012-10-26 11:28

Cycab Toolkit - This project aims to provide a development toolkit dedicated to mobile robotic platforms such as Cycab (simulator, middleware ...).

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Python[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 0.00

Registered: 2005-07-05 08:46

ProActive - ProActive is a GRID Java library for parallel, distributed, and concurrent computing, also featuring mobility and security in a uniform framework. ProActive runs on Local Area Network (LAN), on clusters of workstations, or on Internet Grids.

Development Status : 6 - Mature[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : Other Environment[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Research center : Sophia Antipolis[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : Software Development[Filter]

Registered: 2005-11-24 17:27

ALTA - ALTA is a general-purpose library designed to help analyze and use measured material data such as BRDFs (Bidirectional Reflectance Distribution Functions). It provides a generic set of tools to analyze and fit BRDF data and models.

Development Status : 3 - Alpha[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : OpenMP[Filter]
Kind : Software[Filter]
License : OSI Approved : Mozilla Public License \(MPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Python[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Multimedia : Graphics[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 0.00

Registered: 2013-11-06 11:11

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[Filter]
Environment : Console \(Text Based\) (Now Filtering)
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 (Now Filtering)
Operating System : POSIX[Filter]
Programming Language : C\+\+[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 0.00

Registered: 2008-02-26 10:20

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\) (Now Filtering)
Environment : MPI[Filter]
Intended Audience : Developers[Filter]
Intended Audience : System Administrators[Filter]
Kind : Software[Filter]
Kind : Work group[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Research center : Bordeaux - Sud-Ouest[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2016-12-06 10:16

Rainbow - This project aims at developing a grammar for termination proofs and a tool for automatically certifying those proofs using the Coq library CoLoR.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml[Filter]
Topic : Scientific/Engineering (Now Filtering)

Registered: 2006-09-07 09:02

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\) (Now Filtering)
Intended Audience : Developers[Filter]
Kind : Software[Filter]
License : OSI Approved : BSD License[Filter]
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : C[Filter]
Research center : Nancy[Filter]
Topic : Scientific/Engineering (Now Filtering)
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2012-12-29 14:16

leopar - the Leopar project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme)

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : X11 Applications[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English (Now Filtering)
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Nancy[Filter]
Topic : Scientific/Engineering (Now Filtering)

Registered: 2006-10-04 09:23

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