Home My Page Projects

Project List

922 projects in result set.
<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> <44> <45> <46> <47>
Projet kharon - Projet kharon
This project has not yet categorized itself in the Trove Software Map
Register Date: 2015-09-01 14:08

Proland - A C++/OpenGL library for the real-time rendering and animation of natural scenes.

Register Date: 2007-01-08 08:57

Prolog/Mali (PM) - Prolog/Mali (PM) is an implementation of Lambda Prolog which has been designed in the former MALI Project at IRISA/INRIA Rennes. PM contains a compiler and a debugger. An Eclipse plugin for PM is available: http://gforge.inria.fr/projects/lpdt/
This project has not yet categorized itself in the Trove Software Map
Register Date: 2008-07-17 09:31

Proof Manager - Proof Manager is a test platform for SMT solvers, useful to run series of benchmarks (locally and distributed) and analyze results through a graphical interface.

Register Date: 2010-09-24 13:31

ProverEditor - A lightweight multi-prover interface in Eclipse.

Register Date: 2006-04-04 10:14

Pruning RPNI - Implementation of tree-RPNI with path-only and path-extended pruning
This project has not yet categorized itself in the Trove Software Map
Register Date: 2011-08-02 12:42

Ptolemy II Java2Matlab - Ptolemy II Java to Matlab interface
This project has not yet categorized itself in the Trove Software Map
Register Date: 2008-07-22 09:22

Publication RFID 2012 - Latex source of a publication for RFID 2012
This project has not yet categorized itself in the Trove Software Map
Register Date: 2011-11-30 14:07

Puiseux's theorem - - Formal proof in Coq of Puiseux's theorem. - Program computing roots of a Puiseux series polynomial.

Register Date: 2014-09-14 10:01

PuppetMaster - PuppetMaster provides facilities to deal with computations on a Linux network.

Register Date: 2009-06-17 15:29

PVSide - Translation of proofs from PVS to Dedukti
This project has not yet categorized itself in the Trove Software Map
Register Date: 2015-03-16 10:53

PYGO - The pygo project is a software framework based on Python to create peer-to-peer applications. In particular, Pygo directly addresses the construction of systems so-called "Gossip-based".
This project has not yet categorized itself in the Trove Software Map
Register Date: 2008-12-03 08:56

Pypingen - Sequence miner based on AddIntent
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-01-14 09:50

PyQGLViewer - PyQGLViewer provides Python wrappers for the LibQGLViewer library. It provides Qt tools that ease the creation of OpenGL 3D viewers.

Register Date: 2007-05-03 11:57

QBIOS - An automatic test platform dedicated to bioinformatics services

Register Date: 2008-04-18 09:35

QemuNet - A light shell script based on QEMU and VDE to enable easy virtual networking.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-01-22 10:19

Qgar Software - The Qgar Software system is aimed at the design of document analysis applications and is currently developed by the QGAR project-team at LORIA-INRIA Lorraine (Nancy, France)
This project has not yet categorized itself in the Trove Software Map
Register Date: 2007-06-04 14:03

Qos des projets publics avec subversion - Ce projet existe pour pouvoir tester la qualité de service de l'accès au dépôt subversion pour les projets publics

Register Date: 2005-04-26 08:05

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.

Register Date: 2011-09-05 10:07

QtShanoir - QtShanoir is a Qt widget with an example application to query data from the Shanoir web application.

Register Date: 2011-10-17 15:52

922 projects in result set.
<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> <44> <45> <46> <47>