Software Map
Project Tree
Now limiting view to projects in the following categories:
Environment :: Console (Text Based) [Remove This Filter]
Kind :: Software [Remove This Filter]
132 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1>
<2> <3> <4> <5> <6> <7>
SimGrid
- SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX[Filter]
- Programming Language : C[Filter]
- Research center : Montbonnot[Filter]
- Research center : Rennes[Filter]
- Topic : Software Development[Filter]
- Topic : System : Clustering/Distributed Networks[Filter]
- Topic : System : Emulators[Filter]
|
Activity Percentile: 99.23
Registered: 2005-03-01 16:29 |
Belenios
- Verifiable online voting system
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : No Input/Output \(Daemon\)[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU Affero General Public License v3 \(AGPL\)[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : POSIX[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Nancy[Filter]
- Topic : Security : Cryptography[Filter]
|
Activity Percentile: 89.38
Registered: 2013-11-12 16:52 |
ReaTK
- Reactive systems verification and synthesis toolkit. This project distributes the ReaX tool for solving discrete controller synthesis problems for infinite state systems given as Controllable-Nbac programs, plus several libraries for handling such files and models. A version of the ReaVer tool is also included.
|
- Development Status : 3 - Alpha[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software (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 : Objective-Caml[Filter]
- Research center : Rennes[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 77.22
Registered: 2015-04-22 14:56 |
Pharo
- Pharo wants to take a fresh look at the Smalltalk philosophy and current implementations. The idea is to produce high quality open-source packages that will be loadable on a micro kernel.
|
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : Other Environment[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : MIT/X Consortium License[Filter]
- Natural Language : English[Filter]
- Programming Language : Smalltalk[Filter]
- Research center : Lille - Nord Europe[Filter]
- Topic : Software Development : Debuggers[Filter]
- Topic : Software Development : Interpreters[Filter]
|
Activity Percentile: 68.73
Registered: 2008-05-08 13:42 |
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.
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : MPI[Filter]
- Environment : OpenMP[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- License : CeCILL-C[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : OS Independent[Filter]
- Operating System : POSIX[Filter]
- Programming Language : C[Filter]
- Programming Language : Fortran[Filter]
- Programming Language : Python[Filter]
- Research center : Bordeaux - Sud-Ouest[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 68.34
Registered: 2005-12-01 17:31 |
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\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rennes[Filter]
- Topic : Software Development : Compilers[Filter]
|
Registered: 2007-02-21 09:03 |
Kadeploy3
- Kadeploy 3 is the next generation of the fast and scalable deployment system for cluster and grid computing. Kadeploy is the reconfiguration system used in Grid5000, allowing the users to deploy their own OS on their reserved nodes.
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : System Administrators[Filter]
- Kind : Software (Now Filtering)
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Ruby[Filter]
- Programming Language : Unix Shell[Filter]
- Research center : Montbonnot[Filter]
- Research center : Nancy[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : System : Clustering/Distributed Networks[Filter]
|
Activity Percentile: 63.32
Registered: 2009-06-04 11:01 |
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\) (Now Filtering)
- Environment : MPI[Filter]
- Environment : Win32 \(MS Windows\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software (Now Filtering)
- 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[Filter]
- 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: 56.56
Registered: 2005-10-28 13:22 |
EZTrace
- EZTrace is a tool that aims at generating automatically execution trace
from HPC (High Performance Computing) programs. It generates execution
trace files that can be interpreted by visualization tools such as
ViTE.
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- License : CeCILL-B[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Research center : Bordeaux - Sud-Ouest[Filter]
- Topic : System : Clustering/Distributed Networks[Filter]
|
Activity Percentile: 56.18
Registered: 2010-05-28 15:10 |
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 (Now Filtering)
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- 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[Filter]
- Topic : Software Development[Filter]
- Topic : System : Clustering/Distributed Networks[Filter]
|
Activity Percentile: 55.21
Registered: 2005-10-06 11: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\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- License : CeCILL[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- 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: 54.83
Registered: 2009-09-16 08:55 |
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 (Now Filtering)
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- 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: 54.44
Registered: 2008-07-04 12:56 |
Yael
- Yael is a C/python/Matlab library providing optimized (multi-threaded, Blas/Lapack, low level optimization) implementations of computationally demanding functions, such as k-means and exact nearest neighbor search. See the Project home page for documentation.
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- License : CeCILL[Filter]
- License : Other/Proprietary License[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Programming Language : Other[Filter]
- Programming Language : Python[Filter]
- Research center : Montbonnot[Filter]
- Research center : Rennes[Filter]
- Topic : Scientific/Engineering : Data Mining[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 43.82
Registered: 2009-07-21 12:05 |
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 (Now Filtering)
- License : CeCILL-B[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering[Filter]
|
Activity Percentile: 42.28
Registered: 2014-04-03 06:13 |
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\) (Now Filtering)
- Intended Audience : Other Audience[Filter]
- Kind : Software (Now Filtering)
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : C[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 41.31
Registered: 2009-03-05 10:17 |
CryptoMiniSat
- CryptoMiniSat is a state-of-the-art SAT solver incorporating many ideas. For a list, please visit http://www.msoos.org/2013/04/cryptominisat-3-0-released/
The source is available on github: https://github.com/msoos/cryptominisat
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : MIT/X Consortium License[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft[Filter]
- Operating System : POSIX[Filter]
- Programming Language : C\+\+[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
|
Activity Percentile: 40.73
Registered: 2009-05-14 08:56 |
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\) (Now Filtering)
- Environment : Web Environment[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- License : CeCILL-C[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Research center : Montbonnot[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
|
Activity Percentile: 40.35
Registered: 2005-10-13 12:08 |
Damaris
- Damaris (Dedicated Adaptive Middleware for Application's Resources Inline Steering) aims at providing a library for efficient resource management (in particular memory) on multicore SMP nodes, leveraging dedicated cores for distributed services.
|
- Development Status : 3 - Alpha[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : MPI[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX[Filter]
- Programming Language : C[Filter]
- Programming Language : C\+\+[Filter]
- Programming Language : Fortran[Filter]
- Research center : Rennes[Filter]
- Topic : Database : Database Engines/Servers[Filter]
- Topic : Scientific/Engineering : Visualization[Filter]
- Topic : System : Filesystems[Filter]
|
Activity Percentile: 38.42
Registered: 2011-02-23 13: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 (Now Filtering)
- 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[Filter]
|
Activity Percentile: 16.80
Registered: 2008-02-13 16:03 |
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 (Now Filtering)
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- 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[Filter]
|
Activity Percentile: 14.67
Registered: 2005-07-05 08:46 |
132 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1>
<2> <3> <4> <5> <6> <7>
