Home My Page Projects

Project List

1011 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>
Projet ANR Monaco 2025 - MOdelling NAtural COnvection: A Challenge for the Full Digital 2025 ambition
This project has not yet categorized itself in the Trove Software Map
Register Date: 2017-03-06 14:51

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

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

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

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