Software Map
Project Tree
Now limiting view to projects in the following categories:
Operating System :: OS Independent [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\)[Filter]
- 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 (Now Filtering)
- Programming Language : Eiffel[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : Software Development : Compilers[Filter]
- Topic : Software Development : Debuggers[Filter]
|
Activity Percentile: 95.82
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\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Operating System : OS Independent (Now Filtering)
- 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\)[Filter]
- 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 (Now Filtering)
- 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\)[Filter]
- 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 (Now Filtering)
- Programming Language : C\+\+[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 87.19
Registered: 2009-09-16 08:55 |
bzr
- Controller synthesis for the design of embedded systems
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent (Now Filtering)
- Programming Language : Objective-Caml[Filter]
- Research center : Montbonnot[Filter]
- Research center : Rennes[Filter]
- Topic : Software Development : Compilers[Filter]
|
Activity Percentile: 84.40
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\)[Filter]
- 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 (Now Filtering)
- 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.57
Registered: 2005-09-09 14:00 |
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\)[Filter]
- 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 (Now Filtering)
- 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: 78.55
Registered: 2005-10-28 13:22 |
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: 77.99
Registered: 2005-12-01 17:31 |
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\)[Filter]
- 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 (Now Filtering)
- 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: 75.77
Registered: 2006-02-17 09:39 |
bitdew
- Data for Dekstop Grids
|
- Development Status : 1 - Planning[Filter]
- Environment : Console \(Text Based\)[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 (Now Filtering)
- Programming Language : Java[Filter]
- Topic : System[Filter]
|
Activity Percentile: 67.41
Registered: 2006-03-23 13:54 |
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\)[Filter]
- 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 (Now Filtering)
- Programming Language : Java[Filter]
- Research center : Montbonnot[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
|
Registered: 2005-10-13 12:08 |
Transmorpher
- Transmorpher is a software environment for defining and processing complex transformations of XML documents.
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\)[Filter]
- 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 (Now Filtering)
- Programming Language : Java[Filter]
- Topic : Internet : WWW/HTTP : Dynamic Content[Filter]
|
Registered: 2005-10-13 11:50 |
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\)[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent (Now Filtering)
- Programming Language : C[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 59.05
Registered: 2009-03-05 10:17 |
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\)[Filter]
- 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 (Now Filtering)
- Programming Language : Java[Filter]
- Topic : Internet : WWW/HTTP : Dynamic Content[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 58.77
Registered: 2005-11-04 14:55 |
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\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent (Now Filtering)
- Programming Language : Python[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering[Filter]
|
Registered: 2015-01-19 12:40 |
SmartTools Software Factory
- The SmartTools software is used to develop more rapidelly Eclipse-based applications (plugins), Service-Oriented Applications into Eclipse frame-work and Peer-to-Peer Service-Oriented Applications on top of an Overlay Network (PON).
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : No Input/Output \(Daemon\)[Filter]
- Environment : Web Environment[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- Kind : Work group[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent (Now Filtering)
- Programming Language : Java[Filter]
- Research center : Sophia Antipolis[Filter]
- Topic : Software Development[Filter]
- Topic : System : Networking[Filter]
- Topic : System : Software Distribution[Filter]
|
Activity Percentile: 43.18
Registered: 2006-08-31 16:01 |
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\)[Filter]
- 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 (Now Filtering)
- Programming Language : Java[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
|
Activity Percentile: 37.60
Registered: 2005-09-21 09:13 |
bib2hal
- bib2hal permet de convertir une base BibTeX dans le format d'import de HAL.
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : End Users/Desktop[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Operating System : OS Independent (Now Filtering)
- Programming Language : Perl[Filter]
- Topic : Printing[Filter]
- Topic : Scientific/Engineering[Filter]
|
Activity Percentile: 35.65
Registered: 2006-09-11 14:07 |
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\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent (Now Filtering)
- Programming Language : Objective-Caml[Filter]
- Research center : Rennes[Filter]
- Topic : Security[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 32.59
Registered: 2008-04-30 12:04 |
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\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience[Filter]
- License : Other/Proprietary License[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent (Now Filtering)
- Programming Language : Python[Filter]
- Topic : Communications : File Sharing[Filter]
|
Activity Percentile: 20.89
Registered: 2006-08-23 15:03 |
53 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1>
<2> <3>
