Software Map
Project Tree
Now limiting view to projects in the following categories:
Environment :: Console (Text Based) [Remove This Filter]
Natural Language :: English [Remove This Filter]
License :: OSI Approved :: GNU General Public License (GPL) [Remove This Filter]
43 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\) (Now Filtering)
- 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[Filter]
- Topic : Software Development : Compilers[Filter]
- Topic : Software Development : Debuggers[Filter]
|
Activity Percentile: 96.79
Registered: 2005-11-29 10:06 |
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\) (Now Filtering)
- Natural Language : English (Now Filtering)
- 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: 87.76
Registered: 2008-07-04 12:56 |
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\) (Now Filtering)
- Natural Language : English (Now Filtering)
- 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: 86.01
Registered: 2009-09-16 08:55 |
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\) (Now Filtering)
- Natural Language : English (Now Filtering)
- 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: 85.13
Registered: 2005-09-09 14:00 |
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\) (Now Filtering)
- 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[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 84.84
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\) (Now Filtering)
- Natural Language : English (Now Filtering)
- Operating System : POSIX[Filter]
- Programming Language : C\+\+[Filter]
- Topic : Scientific/Engineering[Filter]
|
Activity Percentile: 79.01
Registered: 2005-06-30 13:31 |
SODIAC
- SODIAC stands for SOftware DIstribution Analysis Chain. Documentation is available on the wiki: http://gforge.inria.fr/plugins/wiki/index.php?id=929&type=g |
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : X11 Applications[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : System Administrators[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Programming Language : Java[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 76.09
Registered: 2007-09-06 20:42 |
LaTeX Utils
- Développement d'outils facilitant la création de documents LaTeX (Makefile générique, ...) et collection de style LaTeX souvent utilisés (styles de journaux, des rapports d'activité, des rapports de recherche, ...) |
- 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\) (Now Filtering)
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : POSIX[Filter]
- Programming Language : Other[Filter]
- Topic : Software Development : Build Tools[Filter]
- Topic : Text Editors : Text Processing[Filter]
|
Activity Percentile: 72.01
Registered: 2006-02-08 13:48 |
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\) (Now Filtering)
- Natural Language : English (Now Filtering)
- 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: 71.72
Registered: 2006-02-17 09:39 |
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\) (Now Filtering)
- Natural Language : English (Now Filtering)
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Topic : System[Filter]
|
Activity Percentile: 68.80
Registered: 2006-03-23 13:54 |
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\) (Now Filtering)
- Natural Language : English (Now Filtering)
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Topic : Internet : WWW/HTTP : Dynamic Content[Filter]
|
Registered: 2005-10-13 11:50 |
Slimmer
- Sophisticated logic implementations for modeling and mechanical reasoning. Current coding efforts are focused on building the Bedwyr proving system in OCaml. |
- Development Status : 3 - Alpha[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English (Now Filtering)
- Operating System : Microsoft : Windows : Windows NT/2000[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 59.77
Registered: 2006-05-11 20:47 |
dana
- dana is a multi-platform library for distributed asynchronous numerical and adaptive computation. |
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers[Filter]
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English (Now Filtering)
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX[Filter]
- Programming Language : Python[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
|
Activity Percentile: 57.14
Registered: 2006-12-19 08:37 |
XtremWeb
- XtremWeb: an open source middleware for Desktop Grid |
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : Web Environment[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : System Administrators[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Programming Language : Java[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : System : Clustering/Distributed Networks[Filter]
|
Activity Percentile: 50.73
Registered: 2007-12-28 08:25 |
wrekavoc
- Wrekavoc is a Tool for Emulating Heterogeneity |
- 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\) (Now Filtering)
- Natural Language : English (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Programming Language : Perl[Filter]
- Research center : Nancy[Filter]
- Topic : Software Development : Code Generators[Filter]
|
Activity Percentile: 36.73
Registered: 2007-01-03 14:54 |
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\) (Now Filtering)
- Natural Language : English (Now Filtering)
- Operating System : OS Independent[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rennes[Filter]
- Topic : Security[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 27.99
Registered: 2008-04-30 12:04 |
BLiFF++
- The BLiFF++ library: a BCI Library For Free in C++
This library aims at providing classes that could used to quickly design, test and assess (mainly off line) Brain-Computer Interfaces (BCI) in C++. It is a free and open-source library. |
- Development Status : 3 - Alpha[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Rennes[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
- Topic : Scientific/Engineering : Bio-Informatics[Filter]
- Topic : Scientific/Engineering : Human Machine Interfaces[Filter]
|
Activity Percentile: 23.91
Registered: 2008-06-26 14:22 |
Yacclib
- Yacclib is an OCaml library to parse and print ocamlyacc .mly files. A graphical editor of ocamlyacc files is included. |
- 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 General Public License \(GPL\) (Now Filtering)
- Natural Language : English (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Software Development : Code Generators[Filter]
|
Activity Percentile: 18.08
Registered: 2005-11-29 08:30 |
PeerUnit
- The Atlas Peer-to-peer testing platform is a platform to develop tests for P2P systems.
Main features: test execution control, synchronization, volatility control.
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English (Now Filtering)
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Research center : Rennes[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 15.16
Registered: 2007-12-10 14:15 |
Sandbox for Grids
- Sandbox for Grids (s4g) is a Linux user-mode sandbox. It offers a secure execution environment for suspicious applications. Written in C, it tries to solve some typical problems of quarantine applications: efficiency and security. |
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Intended Audience : System Administrators[Filter]
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Topic : Security[Filter]
- Topic : System[Filter]
|
Activity Percentile: 9.62
Registered: 2005-07-12 11:01 |
43 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1>
<2> <3>