Home My Page Projects

Project List

1035 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>
testedemairy - projet de Erwan Demairy pour tester la forge.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2012-03-29 12:24

Testing tools and scripts for grid5000 - The purpose of this project is to provide scripts for testing, benchmarking deep-learning software installed on grid5000 cluster (keras,theano, tensorflow, pytorch), and also scripts to facilitate the deployment of grid5000 jobs related to deep-learning.

Register Date: 2018-04-11 19:52

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

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

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

The Kayrebt Toolset - The Kayrebt toolset is a set of software projects dedicated to the extraction, visualisation and analysis of activity diagrams-like graphs showing a low-level representation of C code, and more particularly the Linux kernel code base.

Register Date: 2016-02-03 08:19

The Plant Game - Plateforme d'identification des plantes combinant approches automatiques, méthodes de crowdsourcing et jeux sérieux.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2015-06-26 09:54

Thesis - All Files from Loïc Fejoz's Ph'd thesis.

Register Date: 2007-01-29 09:19

The Tensor Toolkit - The Tensor Toolkit (TTK) is an extension of ITK (www.itk.org) to process diffusion tensor images and perform operations such as tensor estimation, smoothing, fiber tractography or statistical analysis.

Register Date: 2010-01-18 13:04

The Why platform - The Why platform is an environment for deductive verification of C and Java programs.

Register Date: 2007-10-18 11:50

Thread Management Framework - The Thread Management Framework (TMF) aims to control Threads allocation in an application. It allows to define groups of Threads (Areas), with a customized limit for each one.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2006-07-27 09:11

Timbuktu - Développement d'une extension de la complétion d'automates d'arbres pour vérifier des propriétés temporelles sur des programmes Java
This project has not yet categorized itself in the Trove Software Map
Register Date: 2009-10-28 10:58

TimeSquare - Time Square (http://timesquare.inria.fr) is a set of Eclipse plug-ins dedicated to the analysis of Timed systems with MARTE Time Model and CCSL. The UML Profile for MARTE (http://www.omgmarte.org) was adopted by the OMG in July 2009

Register Date: 2009-09-19 07:11

tiptop - Tiptop reads hardware performance counters and displays statistics about running processes, such as IPC, or cache misses. The statistics are shown in real time, in a way very similar to the "top" utility. More at http://tiptop.gforge.inria.fr.

Register Date: 2011-02-22 17:16

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 [DEPRECATED] - TLC: A Classical Coq Library with Typeclasses [DEPRECATED, now on gitlab]
This project has not yet categorized itself in the Trove Software Map
Register Date: 2010-03-05 07:12

Toccata - Shared resources for the Toccata research team, common to INRIA and LRI (Lab. de Recherche en Informatique)
This project has not yet categorized itself in the Trove Software Map
Register Date: 2012-10-01 12:38

Toktok - The Toktok project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme)

Register Date: 2010-01-26 14:39

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