Home My Page Projects

Project List

835 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>
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

VerveineSharp C# Extractor - For program information and analysis of .NET projects with Moose.

Register Date: 2011-04-27 08:21

ViAlEm - Once upon a time, three lazy PhD students designed an awful set of WML macros to easily maintain their webpages. Surprisingly, more and more people started using it! So they decided to let it go public and lived happily ever after.

Register Date: 2005-10-20 16:27

ViSP - ViSP is a C++ toolkit that allows rapid prototyping of visual servoing applications. The library features a wide class of control skills as well as real-time tracking processes and simulation capabilities.

Register Date: 2006-06-13 09:19

Vimagine-code - Vimagine-code is devoted to provide the code sharing infrastructure for the VIMAGINE ANR blanc project (2009-2012) that is, fMRI and MEG data analysis tools for different visual system investigation.

Register Date: 2010-07-13 16:05

VisMaster - VisMaster is a European Coordination Action Project focused on the research discipline of Visual Analytics.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2008-09-30 12:08

VisOn - VisOn is a graphic environment for loading ontologies, matching them automatically or manually, and comparing different alignments. It is a front-end for all alignment algorithms using the Alignment API.

Register Date: 2006-02-15 21:20

Visual Trace Explorer - This project aims at developing a Pajé like visualizer trace explorer in C++ programming language with OpenGL and Qt technologies.

Register Date: 2008-11-14 09:11

835 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>