Home My Page Projects

Project List

844 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3> <4> <5> <6> <7> <8> <9> <10> <11> <12> <13> <14> <15> <16> <17> <18> <19> <20> <21> <22> <23> <24> <25> <26> <27> <28> <29> <30> <31> <32> <33> <34> <35> <36> <37> <38> <39> <40> <41> <42> <43>
TransforMesh, MeshHOG, MVViewer - This repository hosts the following projects: TransforMesh - a self-intersection removal solution for triangular Meshes; MeshHOG - a 3-D mesh descriptor for triangular meshes; MVViewer - Multiple Camera and Mesh Viewer.

Register Date: 2006-12-22 13:37

Transformation - Goupe Transformation du GDR GPL
This project has not yet categorized itself in the Trove Software Map


Register Date: 2007-04-06 11:53

Transmorpher - Transmorpher is a software environment for defining and processing complex transformations of XML documents.

Register Date: 2005-10-13 11:50

TreeCrf - Annotation d'arbres XML par des techniques de champs conditionnels aléatoires (CRF)

Register Date: 2006-02-01 17:29

Triva - TRIVA is a tool that is used to analyze traces (in the pajé format) registered during the execution of parallel applications. The tool serves also as a sandbox to the development of new visualization techniques.

Register Date: 2008-03-19 15:00

UFO - Ce projet concerne la simulation et l’optimisation d'écoulements en présence d'incertitudes dans les données ou les modèles.

Register Date: 2011-11-28 17:36

UMCTool - UMCTool fills the gap between acquiring information about a platform using monitoring tools and perform realistic simulation in giving a way to aggregate/modify/manipulate those informations and translate them into SimGrid platform description language.

Register Date: 2009-05-07 09:26

Ubuntu config inrialpes - Script to configure an ubuntu with the inrialpes network. (LDAP, mount homedir/www/softs, install printers, SSH server) Check-out the branch corresponding to your ubuntu version and read README file. svn checkout --username login https://scm.gforge.inria.fr/svn/ubuntuinrialpes/branches/14.04/ubuntu-config-inrialpes Feel free to improve it!

Register Date: 2012-09-07 15:21

Utilities for Language Engineering - PaULE (Passage Utilities for Language Engineering) is a toolkit performing pre-processings on an input tree-based grammar in order to facilitate parsing (e.g. polarity-based filtering of the grammatical structures).

Register Date: 2008-06-16 08:22

Utility classes/functions OpenGL (mini) - This a miniature version of LibSL. The actual version can be found in https://gforge.inria.fr/projects/libsl/ This version is open to any everyone including users who do not have a Gforge account.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2013-09-06 14:57

VAMPIRE - Componsant public du projet ANR VAMPIRE
This project has not yet categorized itself in the Trove Software Map


Register Date: 2009-02-05 08:29

VERCORS - VERification of models for distributed communicating COmponents, with safety and Security. State-of-art strong formal semantics and model checking tools are integrated in a development environment, used by non-specialists.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2005-12-08 17:34

VMHub - This repository welcome improvements, extensions, experiments around the Squeak and Pharo virtual Machines.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2010-12-07 11:43

VMKit-devel - VMKit2 is a library that eases the development of high-level MREs such as a JVM and a CLI. VMKit2 is a fork of the VMkit project that is hosted by llvm.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2013-04-11 14:06

VRPN 2 Ogre - Convert events from VRPN to forces applied to objects in a 3-D immersive environment in order to setup fast demo using a Brain Computer Interface

Register Date: 2012-01-05 18:07

Vahine - VAHINE “Visualization and analysis of multi-dimensional hyperspectral images in Astrophysics” aims at developing physical and mathematical models, algorithms, and software for planetary data and other kind of large hyperspectral dataset.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2011-09-26 10:09

Vamp - Protocol anonymity checker - VAMP (Verification d'Anonymat Modélisé en Pi-Calcul) is a software for testing protocol's anonymity using the probabilistic pi-calculus model
This project has not yet categorized itself in the Trove Software Map


Register Date: 2007-06-08 13:16

Verdandi - Verdandi is a generic data assimilation library, primarily for high-dimensional systems. It aims to provide many methods (like Kalman filters and 4D-Var) and related tools, for a wide range of numerical models.

Register Date: 2009-02-11 10:42

Verine - Traduction des preuves de VeriT vers Dedukti
This project has not yet categorized itself in the Trove Software Map


Register Date: 2014-09-22 16:10

Verveine J - VerveineJ allows to extract information from the source code of Java systems and export it for the Moose platform. From this, Moose allows performing different analysis on how the system is structured, interactions between its components, quality, etc.

Register Date: 2010-09-30 11:19

844 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3> <4> <5> <6> <7> <8> <9> <10> <11> <12> <13> <14> <15> <16> <17> <18> <19> <20> <21> <22> <23> <24> <25> <26> <27> <28> <29> <30> <31> <32> <33> <34> <35> <36> <37> <38> <39> <40> <41> <42> <43>