Software Map
Project Tree
|
Browse By: |
93 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3> <4> <5>
SimGrid
- SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments. | |
|
Activity Percentile: 99.84 Registered: 2005-03-01 16:29 |
MPFR
- Provides a library for multiple-precision floating-point computation with correct rounding. The computation is both efficient and has a well-defined semantics. It copies the good ideas from the ANSI/IEEE-754 standard for double-precision FP arithmetic. | |
Activity Percentile: 99.69 Registered: 2005-10-21 14:22 |
CGAL
- We have moved to GitHub: https://github.com/CGAL/cgal
Recent releases can be found at https://github.com/CGAL/cgal/releases
CGAL, the Computational Geometry Algorithms Library, is an
Open Source C++ library of geometric algorithms and data structures. | |
|
Activity Percentile: 99.53 Registered: 2005-07-11 16:18 |
Coq
- Coq is a formal proof management system.
The project home page is http://coq.inria.fr (see link below). | |
|
Registered: 2006-02-15 14:56 |
Cudf library
- The Cudf library, originally developed in the Mancoosi project, is a reference implementation of the Common Upgradability Description Format | |
|
Activity Percentile: 76.69 Registered: 2012-10-06 07:45 |
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 . | |
|
Registered: 2012-10-11 07:40 |
SimPA2-C6E2
- SIMulation pour le Procédé et l'Automatique et pour l'Ingénierie de la Conception des SYStèmes Electriques Embarqués (Plate-forme RNTL 2005) | |
|
Activity Percentile: 64.57 Registered: 2006-05-22 16:04 |
MPC (Multiple Precision Complex)
- The MPC library provides multiple-precision binary complex floating-point numbers. A complex is represented by a pair (re,im),
where re and im are MPFR variables (www.mpfr.org).
All operations provide correct rounding. | |
Activity Percentile: 64.25 Registered: 2005-10-21 08:04 |
GMP-ECM (Elliptic Curve Method)
- GMP-ECM (Elliptic Curve Method for Integer Factorization) | |
|
Activity Percentile: 60.79 Registered: 2005-10-21 14:21 |
MPFI
- MPFI est une bibliothèque C d'arithmétique par intervalles multi-précision basée sur les bibliothèques MPFR et GMP. | |
|
Activity Percentile: 60.47 Registered: 2005-11-08 13:05 |
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. | |
|
Registered: 2007-02-21 09:03 |
paradisEO
- PARAllel and DIStributed Evolving Objects: a white-box object-oriented framework dedicated to the flexible design of metaheuristics | |
|
Activity Percentile: 52.44 Registered: 2005-10-28 13:22 |
Porgy
- PORGY is an interactive visual environment for modelling complex systems through graphs and graph rewriting rules. See http://porgy.labri.fr for more details and up to date information. | |
|
Activity Percentile: 51.34 Registered: 2009-03-04 15:39 |
stkpp
- STK++ is a multi-platform toolkit written in C++ for creating fast and easy to use Statistics and/or data mining console programs. | |
|
Activity Percentile: 46.77 Registered: 2015-06-23 09:26 |
Open-MX
- Open-MX is a high-performance implementation of the Myrinet Express message-passing stack over generic Ethernet networks with wire and application level compatibility. | |
|
Activity Percentile: 41.42 Registered: 2007-07-26 13:14 |
Pnl
- Pnl is a numerical library written in C. It is released under the GNU Lesser General Public License. | |
|
Activity Percentile: 41.10 Registered: 2008-12-09 15:32 |
PLASTIC Middleware Platform
- The PLASTIC project will design and implement a prototype of a service-oriented middleware supporting the PLASTIC methodology for service development (http://www.ist-plastic.fr). | |
|
Registered: 2007-03-05 10:36 |
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. | |
|
Activity Percentile: 38.27 Registered: 2005-10-13 12:08 |
QtDcm
- This library can query a PACS or load a Dicom CD. It is also capable to convert selected images series to the nifti format (or other ITK supported images format). See http://qtdcm.gforge.inria.fr. | |
|
Registered: 2011-09-05 10:07 |
CGLAB (SCILAB toolbox based on CGAL)
- CGLAB is a SCILAB toolbox of Computational Geometry algorithms based on CGAL. | |
|
Activity Percentile: 17.01 Registered: 2005-12-02 10:40 |
93 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3> <4> <5>