Home My Page Projects

Project List

1026 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> <48> <49> <50> <51> <52>
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

pvs-with-proofs - The purpose of this work is to allow the proof system PVS to export proof certificates that can be checked externally. This is done through the instrumentation of PVS to record detailed proofs step by step during the proof search process. At the current stage of this work, proofs can be built for any PVS theory. However, some reasoning steps rely on unverified assumptions. For a restricted fragment of PVS, the proofs are exported to the universal proof checker Dedukti, and the unverified assumptions are proved externally using the automated theorem prover MetiTarski.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2017-04-20 09:58

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

py.ml - OCaml bindings for Python.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-05-30 03:05

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

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

QualipsoExtension - extension of qualipso factory
This project has not yet categorized itself in the Trove Software Map
Register Date: 2009-09-16 15:24

Qualité de service d'un cvs anonyme - Le but de ce projet est de permettre la vérification des propriétés des dépôts cvs des projets public qui permettent l'accès anonyme à leur dépôt de code
This project has not yet categorized itself in the Trove Software Map
Register Date: 2006-06-21 13:31

Qualité de service d'un svn anonyme - Le but de ce projet est de permettre la vérification des propriétés des dépôts svn des projets public qui permettent l'accès anonyme à leur dépôt de code
This project has not yet categorized itself in the Trove Software Map
Register Date: 2006-06-21 13:33

query - CVS of query group of Mostrare project.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2006-06-26 15:51

qumin - Qumin (Quantitative Modeling of Inflection) is a platform for the computational modeling of the inflectional morphology of languages.

Register Date: 2015-01-19 12:40

Rainbow - This project aims at developing a grammar for termination proofs and a tool for automatically certifying those proofs using the Coq library CoLoR.

Register Date: 2006-09-07 09:02

1026 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> <48> <49> <50> <51> <52>