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

tinygb - Tinygb is a software for computing Gröbner bases. Its main goal is modularity rather than efficiency: the software is meant to be used as a research tool for the investigation of algorithms related to Gröbner bases.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-05-04 15:17

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

Tom - Tom is an extension of Java designed to manipulate tree structures and XML documents.

Register Date: 2005-09-09 14:00

Toolbox for Opacity - This Java toolbox is a set of tools dedicated to the study of the opacity of systems. Various notions of opacity are planned to be integrated such as normal opacity, k-opacity, and infinite opacity.

Register Date: 2010-03-09 11:24

Tools and libraries for verification - This project contains various tools and libraries dedicated to static analysis and verification. The libraries are mostly dedicated to OCaml programmers.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2007-06-19 12:55

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>