Software Map
Project Tree
Now limiting view to projects in the following categories:
Operating System :: Microsoft :: Windows [Remove This Filter]
Kind :: Software [Remove This Filter]
Operating System :: MacOS [Remove This Filter]
|
Browse By: |
8 projects in result set.
SimGrid
- SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments. | |
|
Activity Percentile: 80.32 Registered: 2005-03-01 16:29 |
GUIDE
- GUIDE is a Library (and a Graphical User Interface) that allows the generation of evolutionary algorithms suited to the user's needs (even if the user is not an Evolutionary Computation specialist). Two libraries are supported, EO and ECJ.
However, GUIDE is now dead, and this project is used for various projects in TAO. | |
|
Activity Percentile: 46.03 Registered: 2008-01-10 17:14 |
OpenMASK-V4
- OpenMASK is a C++ libraries set for the development and execution of modular applications dedicated to Virtual Reality. OpenMASK is an easy way to interact, to integrate, to distribute over a network, to visualize in various VR environments. | |
|
Registered: 2007-11-12 15:04 |
LexiComp
- The Lexicomp project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme) | |
|
Activity Percentile: 18.73 Registered: 2009-11-10 11:10 |
Transcend With SOS
- A project related to my PhD thesis. The aim of the work is the certification of the lower and upper bounds of transcendental and semi-algebraic functions with COQ and external SOS solvers like SparsePOP, Gloptipoly, SDP libraries like CSDP or SDPA. | |
|
Activity Percentile: 0.00 Registered: 2012-01-08 22:29 |
ALTA
- ALTA is a general-purpose library designed to help analyze and use measured material data such as BRDFs (Bidirectional Reflectance Distribution Functions).
It provides a generic set of tools to analyze and fit BRDF data and models. | |
|
Activity Percentile: 0.00 Registered: 2013-11-06 11:11 |
RS development
- Logiciel pour l'isolation des racines réelles de systèmes algébriques.
Software for isolating the real roots of algebraic systems.
| |
|
Activity Percentile: 0.00 Registered: 2007-11-29 15:48 |
TLA+ tools
- The Proof Manager and the GUI toolbox for the TLA+2 specification and proof language. | |
|
Activity Percentile: 0.00 Registered: 2009-09-21 09:47 |