Home My Page Projects

Project List

1027 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>
Knowledge Graph Abstract Machine - KGRAM stands for Knowledge Graph Abstract Machine. It is a generic SPARQL 1.1 interpreter designed to process labelled graphs including, but not limited to, RDF. The target graph must implement a simple Edge/Node API (Java interface).

Register Date: 2011-02-10 12:37

kpassa - KPASSA aims at the modeling and simulation of data-intensive processing applications. As main features, it explicitly handles periodic schedules, checks deadlock-freeness and computes local memories bounds needed by this steady regime.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2010-12-08 10:14

Krajono - A Matita to Dedukti translator
This project has not yet categorized itself in the Trove Software Map
Register Date: 2014-12-01 17:02

KSTAR - A source-to-source OpenMP compiler based on Clang for portable and efficient application programming on task-based runtime systems.

Register Date: 2013-11-05 16:08

Lambda Prolog Development Tools (LPDT) - LPDT is an Eclipse plugin which offers a complete development environment for Prolog/Mali (PM), an implementation of LambdaProlog which has been designed in the former MALI Project at IRISA/INRIA Rennes. It needs the CDT plugin and the PM compiler.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2008-07-16 13:41

Lambda-prolog implementation of CIC - Study of the type checking, type inference and unification algorithms for CIC in the Lambda-prolog language.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2014-02-10 15:18

LaRA communication thematic group - LaRA (La Route Automatisée) is a JRU aiming at automating road vehicles. Several themes compose this project, one of which is communication.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2006-12-13 15:54

LaTeX Utils - Développement d'outils facilitant la création de documents LaTeX (Makefile générique, ...) et collection de style LaTeX souvent utilisés (styles de journaux, des rapports d'activité, des rapports de recherche, ...)

Register Date: 2006-02-08 13:48

LatticeVisualization - This is the lattice visualization app. It allows user create the context or loading the context with our JSON format from computer, also build and see the line diagram of the lattice on the interface. There are many other functionalities for user can look for the interested concept, by display and hide some parts of lattice, or use the filter of this application.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2015-11-12 10:01

Lazy Lavender - Lazy Lavender is a simulation environment for "cultural knowledge evolultion", i.e., experimenting with several agents evolving their own knowledge through interacting. More coming soon...

Register Date: 2014-01-31 10:14

LDICollision - Système de détection de collision par Depth Peeling sur GPU utilisant la plateforme de simulation médicale SOFA.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2007-10-01 12:52

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

Register Date: 2006-10-04 09:23

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

Register Date: 2009-11-10 11:10

Lexicon Reader - The aim of this project is to provide tools for using various morphological lexicons. Such tools are: reading, loading, merging, transforming lexicons.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2007-05-16 13:40

LibMultiScale - The LibMultiScale is a C++ parallel framework for the multiscale coupling methods dedicated to material simulations. This framework provides an API which makes it possible to program coupled simulations and integration of already existing codes.

Register Date: 2007-08-24 13:54

Libopt-public - The Libopt package is a set of tools that can used for testing, comparing, and profiling solvers on heterogeneous collections of problems.

Register Date: 2007-10-30 13:41

libpg - Il s'agit d'une bibliothèque générique pour l'apprentissage par renforcement, développée à des fins de recherche.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2009-10-14 21:23

Librecours - Librecours is the software used to run the librecours.org web site, a web site dedicated to the hosting of free courses and exercices. The software can be used to create a similar web site.

Register Date: 2005-09-13 14:18

libtopology - **** IMPORTANT NOTE: libtopology is now replaced by hwloc. All resources are now hosted at http://www.open-mpi.org/projects/hwloc/ ****

Register Date: 2009-02-03 11:11

LimSee2 - LimSee2 is an authoring application for SMIL 1.0, 2.0 and 2.1 languages. LimSee2 features a powerfull WYSIWYG graphical user interface designed to ease the manipulation of time-based multimedia scenarios written in SMIL.

Register Date: 2006-08-24 12:30

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