Home My Page Projects

Project List

1031 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>
Kermeta - Kermeta is a Model-Oriented language based on an object-oriented executable meta-modeling paradigm. It features a comprehensive environment for MetaModel Engineering. It is built as an executable extension to MOF.

Register Date: 2005-06-29 12:30

Kermeta2 - Kermeta2 is the major evolution of Kermeta : This tool helps to build other tool by weaving behavior in metamodels.

Register Date: 2012-09-07 12:50

Kerrighed - Kerrighed is an open source distributed operating system for clusters. It offers the view of a unique shared memory multiprocessor on top of a cluster. It is implemented by extending the linux kernel.

Register Date: 2005-08-16 10:18

Kevoree - Model@Runtime platform : model driven middleware to archive intelligent reflective layer in CBSE.

Register Date: 2011-01-25 16:32

knem - knem is a high-performance message passing interface for MPI communication between local processes. Its Linux kernel module efficiently moves data between process' address spaces and may offload memory copies on Intel I/OAT hardware.

Register Date: 2009-05-24 17:08

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

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