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>
Supervised breakpoint detection - Supervised breakpoint detection

Register Date: 2011-07-22 17:08

Sémagramme - Regroupement des projets publics de l'équipe Sémagramme

Register Date: 2011-06-15 08:03

T3DevKit - T3DevKit is a set of libraries and tools for TTCN-3 automatic CoDec generation and adaptors (SA and TA) easy and quick development.

Register Date: 2006-11-21 09:06

TEFIS - TEFIS: a single access point to different testing and experimental facilities.

Register Date: 2010-09-17 09:46

TEWEP - Simulator of the dynamics of Transposable Elements Within Expanding Populations
This project has not yet categorized itself in the Trove Software Map


Register Date: 2014-12-16 16:08

TLA+ tools - The Proof Manager and the GUI toolbox for the TLA+2 specification and proof language.

Register Date: 2009-09-21 09:47

TLC: A Classical Coq Library - TLC: A Classical Coq Library with Typeclasses
This project has not yet categorized itself in the Trove Software Map


Register Date: 2010-03-05 07:12

TPLib - TPLib is a library manipulating tropical polyhedra. It allows to compute the vertices of tropical polyhedra given by half-spaces, and conversely. It also provides an abstract domain based on tropical polyhedra, inferring min-/max-invariants over programs.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2011-04-04 14:46

TRANUS Grenoble Model - TRANUS Model for Grenoble.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2011-06-06 07:42

TakTuk - Taktuk is a library for efficient large scale deployment of remote executions. The development is headed by the MOAIS INRIA project. The tool is used as a launcher in the KAAPI library and as an administration tool on Grid5000 INRIA platform.

Register Date: 2006-02-17 09:39

TakeMat - TakeMat is a recommendation tool of best matcher. From some reference alignments, alignments provided by matchers TakeMat learns a prediction model for selecting the best matcher for a given alignement problem.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2009-11-02 14:41

Taxi - Taxi is the software framework for CyberCars on which the Imara team is working.

Register Date: 2006-08-28 09:29

Teaching at ENS Rennes - sharing resources for teaching at ENS Rennes
This project has not yet categorized itself in the Trove Software Map


Register Date: 2012-02-16 15:36

Teddy - My own stuff
This project has not yet categorized itself in the Trove Software Map


Register Date: 2015-01-09 12:38

Telex2 - A communication infrastructure for collaborative, nomadic applications.

Register Date: 2007-04-10 16:13

Temporal Constraint Network Solver - Ce projet propose un solveur temporel sur des réseaux de contraintes. Nous mettons en place des structures de données ainsi que des optimisations algorithmiques pour trouver, de manière efficace, une ou des solutions possibles de ce réseau de contraintes.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2006-09-28 06:53

TestProject - This is just a test project to see how administration of a project works
This project has not yet categorized itself in the Trove Software Map


Register Date: 2013-05-15 12:53

The Caml Riders - The Caml Riders is a perennial team participating to the yearly ICFP programming contest
This project has not yet categorized itself in the Trove Software Map


Register Date: 2010-06-14 11:15

The JSmall Athena Smalltalk - JSmall comprises a Smalltalk Virtual Machine written in Java. It is intended to be embedded in a Java application. Smalltalk Scripts may be interpreter in the application. You can find documentation and distributions on www.bergel.eu/athena
This project has not yet categorized itself in the Trove Software Map


Register Date: 2007-10-08 07:55

The Karametria Toolkit - KaraMetria is the concatenation of Kara ("head", "brain" in ancient Greek), and Metria ("measure"). It aims at providing new algorithms for the statistical analysis of anatomical shapes extracted from brain MRI.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2010-03-16 16:48

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>