Software Map
Project Tree
Now limiting view to projects in the following categories:
Intended Audience :: End Users/Desktop [Remove This Filter]
Topic :: Scientific/Engineering [Remove This Filter]
19 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\)[Filter]
- 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: 93.94
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\)[Filter]
- 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: 81.21
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\)[Filter]
- 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: 77.88
Registered: 2005-06-30 13:31 |
CoLoR
- The aim of this project is to develop the Coq library CoLoR on rewriting and termination.
|
- Development Status : 6 - Mature[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop (Now Filtering)
- Kind : Software[Filter]
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Registered: 2006-09-07 08:57 |
MetaGrammar Toolkit
- MetaGrammar Toolkit provides several tools to edit and compile MetaGrammars into TAGs. It also include FRMG a wide coverage French MG.
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : X11 Applications[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Programming Language : Perl[Filter]
- Programming Language : Prolog[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Activity Percentile: 69.09
Registered: 2006-09-12 16:44 |
YALTA Toolbox
- YALTA is a Matlab toolbox dedicated to the stability analysis of delay systems and fractional delay systems given by their transfer function.
|
- Development Status : 3 - Alpha[Filter]
- Environment : Other Environment[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop (Now Filtering)
- Kind : Software[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Other[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Activity Percentile: 57.88
Registered: 2013-05-15 19:39 |
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\)[Filter]
- 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: 46.06
Registered: 2006-05-05 09:24 |
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\)[Filter]
- 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: 21.52
Registered: 2008-02-13 16:03 |
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\)[Filter]
- 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: 3.33
Registered: 2012-10-26 11:28 |
Holide
- An HOL to Dedukti translator.
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\)[Filter]
- 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 |
totitatu
- totitatu is a test project.
|
- Development Status : 1 - Planning[Filter]
- Environment : Other Environment[Filter]
- 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 : Other[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Registered: 2013-05-13 09:40 |
Toolbox for Opacity
- This Java toolbox is a set of tools dedicated to the study of the opacity of systems. Various notions of opacity are planned to be integrated such as normal opacity, k-opacity, and infinite opacity.
|
- Development Status : 2 - Pre-Alpha[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop (Now Filtering)
- Kind : Publication\(s\)[Filter]
- Kind : Software[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Programming Language : Java[Filter]
- Research center : Rennes[Filter]
- Topic : Scientific/Engineering (Now Filtering)
- Topic : Security[Filter]
|
Activity Percentile: 0.00
Registered: 2010-03-09 11:24 |
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\)[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 : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Registered: 2006-09-07 09:02 |
ChorEM: Choreography Event Monitoring..
- An Optimized Derivation of Event Queries to Monitor Choreography Violations:
A project of a runtime event-based monitoring of interaction sequences, automatic and optimized generation of rules.
|
- Development Status : 4 - Beta[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop (Now Filtering)
- Intended Audience : System Administrators[Filter]
- Kind : Publication\(s\)[Filter]
- License : Public Domain[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering (Now Filtering)
- Topic : System : Networking : Monitoring[Filter]
|
Activity Percentile: 0.00
Registered: 2012-12-19 14:21 |
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\)[Filter]
- 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 |
OSA
- OSA (Open Simulation Architecture) is an open component-based architecture for discrete-event simulations based on the ObjectWeb's Fractal component model and the Eclipse platform.
|
- Development Status : 3 - Alpha[Filter]
- Environment : Other Environment[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop (Now Filtering)
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : C\+\+[Filter]
- Programming Language : Java[Filter]
- Programming Language : Other[Filter]
- Topic : Scientific/Engineering (Now Filtering)
- Topic : Software Development[Filter]
- Topic : System : Emulators[Filter]
|
Activity Percentile: 0.00
Registered: 2006-07-20 14:47 |
ANR-NOSSI
- New simulation tools for large scale modelling of hybrid materials
|
- Development Status : 3 - Alpha[Filter]
- Environment : MPI[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop (Now Filtering)
- Kind : Publication\(s\)[Filter]
- Kind : Software[Filter]
- Kind : Work group[Filter]
- Natural Language : French[Filter]
- Operating System : MacOS[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Programming Language : Fortran[Filter]
- Research center : Bordeaux - Sud-Ouest[Filter]
- Topic : Scientific/Engineering (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2008-02-18 14:04 |
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\)[Filter]
- 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\)[Filter]
- 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 |
