Home My Page Projects Code Snippets Project Openings

Project List

639 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>
Validation of SDP computation - This project consists in a Coq library and tactic for proving multivariate inequalities using SDP solvers. It was developed by Erik Martin-Dorel and Pierre Roux in Toulouse. It is now hosted on GitHub at https://github.com/validsdp/validsdp
This project has not yet categorized itself in the Trove Software Map


Register Date: 2016-02-18 10:13

vc2i - Validation des compétences pour le C2i Développement d'un module pour la plateforme Claroline v1.11.5

Register Date: 2010-06-24 08:28

Verba - Liste de formes de la langue latine qui, associàƒÂ©e aux logiciels d'OCR, pourra permettre d'amàƒÂ©liorer sensiblement la qualitàƒÂ© de la reconnaissance des textes en latin.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2005-04-03 16:53

Vérificateur de mots de passe - OpenLDAP - Plug-in pour OpenLDAP permet de vérifier la qualité des mots de passe selon des critères paramétrables. Le paramétrage peut être modifié par programmation.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2014-07-29 17:10

VETESS - The tools proposed in this project make possible to add or remove elements to EMF metamodels so that they can be reused to create new metamodels. Those tools include package merge and package unmerge.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2009-12-16 18:00

Vino - Vino (Viable Numerical Objects) est un groupe de travail pour produire des solutions numériques aux problèmes de viabilité. Le groupe est ouvert et possède une liste de discussion : https://sympa.irstea.fr/wws/info/vino
This project has not yet categorized itself in the Trove Software Map


Register Date: 2015-03-17 07:52

virrpc4j - Pure java implementation of libvirt RPC protocol.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2017-11-07 17:40

VisualGraphs - VisualGraphs est un logiciel de visualisation et d'exploration de données sous forme de graphes. Il permet une visualisation de nos données de manière originale mettant en évidence les liens entre elles. C'est un logiciel web, il peut être mise en ligne et rendu accessible comme une page web classique ou utilisé en local sur les systèmes Windows, Mac et Linux.

Register Date: 2018-02-06 15:58

VotElec - VotElec permet d'organiser des élections (et autres recueils d'opinions) par le biais d'un navigateur Web.

Register Date: 2004-07-11 15:26

VSPCC - VSPCC (Validation, Synthèse et Paramétrage des Cartes Cognitives) permet la création, la modification et la manipulation de cartes cognitives.

Register Date: 2015-06-05 09:06

W3Sim, a W3client for Nagios - W3Sim is a fake web client for Nagios, used for automate web applications tests in order to verify their availability. W3Sim is written in tcl, developped on linux and accepts http(s) and certificates.

Register Date: 2005-12-12 14:12

WA11Y - Accessibilité numérique du Web - Développer des composants logiciels permettant la recette d'accessibilité numérique du web, selon le référentiel AccessiWeb 1.0 et 2.2

Register Date: 2010-09-03 13:12

WASSCO - Waters - Application de Suivi de Structures COhérentes 3D dans des modèles de circulation océanique haute résolution MERCATOR et comparaison avec des données altimétriques.

Register Date: 2010-02-23 12:15

WAVES - Web app - WAVES: a Web Application for Versatile Evolutionary bioinformatic Services Versatile service-oriented web application, named WAVES, designed to gather a comprehensive selection of evolutionary bioinformatic software under a unique application programming interface (API), independent of the underlying computing system. The use of WAVES through its API allows bioinformaticians to easily integrate predefined tools or workflows and let them focus on designing high-level user interfaces.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2016-04-19 09:50

Webservice Stage esup-PStageData - Webservices de la base StageEmploi
This project has not yet categorized itself in the Trove Software Map


Register Date: 2009-10-14 10:18

xMyse - xMyse est un ensemble de scripts php utilisables en ligne de commande et sous forme d'APIs. Il permet d'effectuer des recherches dans des documents XML.

Register Date: 2006-09-28 12:20

XtandemPipeline - Logiciel d'identification de peptides/protéines à partir de spectres MS/MS. Il utilise le moteur OpenSource Xtandem! et vise à fournir une interface graphique facilitant son utilisation. site web : http://pappso.inra.fr/bioinfo/xtandempipeline/
This project has not yet categorized itself in the Trove Software Map


Register Date: 2011-03-17 10:01

Zeppoo - Ce logiciel détecte les rootkits sous linux en effectuant une analyse de la mémoire noyau par /dev/mem et /dev/kmem, permet de détecter des processus cachés, des corruptions d'appels systèmes, des symboles, ou bien encore des connections cachées.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2006-06-09 08:05

ZFS sauvegarde - Scripts de sauvagerde de machines unix vers un serveur BSD/ZFS
This project has not yet categorized itself in the Trove Software Map


Register Date: 2016-05-30 15:09

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