Software Map

Project Tree

Now limiting view to projects in the following categories:
Intended Audience :: End Users/Desktop [Remove This Filter]
Environment :: Console (Text Based) [Remove This Filter]
Topic :: Scientific/Engineering [Remove This Filter]

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

14 projects in result set.

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 (Now Filtering)
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 (Now Filtering)
Topic : Software Development : Compilers[Filter]
Topic : Software Development : Debuggers[Filter]

Activity Percentile: 90.19

Registered: 2005-11-29 10:06

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 (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
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: 76.58

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 (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : POSIX[Filter]
Programming Language : C\+\+[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 74.05

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 (Now Filtering)
Intended Audience : Other Audience[Filter]
Kind : Software[Filter]
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
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: 59.18

Registered: 2012-09-07 06:58

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 (Now Filtering)
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 (Now Filtering)

Activity Percentile: 42.09

Registered: 2008-02-13 16:03

Distem - a DISTributed systems EMulator

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

Activity Percentile: 40.19

Registered: 2011-08-24 12:16

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 (Now Filtering)
Kind : Software[Filter]
Natural Language : English[Filter]
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: 13.29

Registered: 2012-10-26 11:28

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 (Now Filtering)
License : OSI Approved : MIT/X Consortium License[Filter]
Natural Language : English[Filter]
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: 6.96

Registered: 2006-05-05 09:24

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 (Now Filtering)
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English[Filter]
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

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 (Now Filtering)
Kind : Software[Filter]
License : Other/Proprietary License[Filter]
Natural Language : English[Filter]
Operating System : POSIX[Filter]
Programming Language : C\+\+[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 0.00

Registered: 2008-02-26 10:20

WSNet - WSNet is a modular event-driven simulator targeted to Wireless Sensor Networks. Its main goals are to offer scalabiliy, extensibility and modularity for the integration of new protocols/hardware models and a precise radio medium simulation.

Development Status : 3 - Alpha[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : POSIX[Filter]
Programming Language : C[Filter]
Research center : Montbonnot[Filter]
Topic : Scientific/Engineering (Now Filtering)

Activity Percentile: 0.00

Registered: 2007-11-15 10:07

Holide - An HOL to Dedukti translator.

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

Registered: 2013-05-31 09:06

Sémagramme - Regroupement des projets publics de l'équipe Sémagramme

Development Status : 4 - Beta[Filter]
Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Environment : Web Environment[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Software[Filter]
License : CeCILL-B[Filter]
Natural Language : English[Filter]
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)

Activity Percentile: 0.00

Registered: 2011-06-15 08:03

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 (Now Filtering)
Kind : Software[Filter]
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : Objective-Caml[Filter]
Topic : Scientific/Engineering (Now Filtering)

Registered: 2006-09-07 09:02