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>
Processor Simulator ToolKit - PSTK aims to provide a behavior-based description language for micro-processor simulators. It uses Eclipse and EMF to offer model validation and checking. Through its DSL, PSTK will also be able to generate a VHDL description of micro-processors.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2010-05-08 14:30

Projet ANR Lise - The ANR Lise project intends to study the relationship between law and technique in the realization of secure computing systems. In particular, solutions for assessing and proving the responsibility of parties should be defined.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2008-03-05 14:15

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

Prégroupes - Grammaires de prégroupes.

Register Date: 2007-09-28 14:36

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

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

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

Quadrics Intersection - QI stands for "Quadrics Intersection". It is the first exact, robust, efficient and usable implementation of an algorithm for parameterizing the intersection of two arbitrary quadrics given in implicit form, with integer coefficients.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2006-09-27 11:45

Qualipso - QualiP­So : A next generation forge.

Register Date: 2009-03-20 13:52

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>