Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Software development at LIFO

 Site en Français


LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37

Software development at LIFO


3D4J is a java librairy that allows a 3D spatial placement of objects.


The Agape library is an open source Java implementation of exponential or parametrized graph algorithms of the literature and developed during the French ANRAgape.


A Boolean-based approach to load and evaluate sparseness of transaction datasets. Auteurs: Zahir Maazouzi, Ansaf Salleb and Christel Vrain.


Discovery of maximal frequent itemsets relying on Binary Decision Diagrams. Authors: Zahir Maazouzi, Ansaf Salleb and Chritel Vrain.

Bulk Synchronous Parallel ML (BSML)

BSML is an Obective Caml library for direct-mode BSP (Bulk Synchronous Parallelism) programming.


Explorer-3D is a vizualization tool under development within the Contraint and Learning Project. Explorer-3D aims at using a 3-D space to vizualize and parameterize distances (or dissimilarities). Authors : Lionel Martin and Matthieu Exbrayat.


Implementation of several Markov Logic Network algorithm (T. H. Dinh's Ph.D.), relying on the alchemy library.

Near-factorizations finder

This software searches finite groups quasi-factorization, i.e. partitionable Cayley graphs.

OSL - Orleans Skeleton Library

OSL is a C++ library of data-parallel algorithmic skeletons on top of MPI.

The QeCode System

The QeCode project aims at building a comprehensive, extensible and open-source quantified constraint solver on top of Gecode.


A Data Mining tool for mining Quantitative Association Rules Authors: Ansaf Salleb-Aouissi, Christel Vrain, Cyril Nortet, Xiangrong Kong, Vivek Rathod, and Daniel Cassard. Institutions: CCLS Columbia University (USA), LIFO University of Orléans (France), BRGM (France) Reference : QuantMiner for Mining Quantitative Association Rules. A. Salleb-Aouissi, C. Vrain, C. Nortet, X. Kong, V. Rathod, D. Cassard JMLR Journal of Machine Learning Research, Open Source Software

Scalable High Performance Virtual Reality

Net Juggler : a single image VR juggler cluster We developped Net Juggler, a software laying on top of VR Juggler. Net Juggler turns a cluster where each node supports VR Juggler into a single VR Juggler image machine. In other words, from the user's point of view it (almost) does not make any difference to run a VR Juggler application on a cluster, a single PC or a SGI Onyx (from the operational point of view and not from the performance point of view).


Learning Characteristic Rules in Geographic Information Systems. Authors: David Cossard supervised by Ansaf Salleb (LIFO), Christel Vrain (LIFO) and Daniel Cassard (BRGM).



Systematic Development of Program for Parallel and Cloud Computing is a set of libraries for the Coq proof assistant to support the derivation of functional parallel programs from specifications. These libraries are developed in collaboration with colleagues of Université Paris-Est, Kyushu Institute of Technology and National Institute of Informatics (Japan).


TAJA (Tree Automata in JAva) is a graphical tool that allows main operations on finites automatas of tree tuples. TTSLI (Tree Tuple Synchronised Languages Implementation) is a non-graphical tool for manipulating tree synchronized language grammars.


Timbuk is a collection of tools for achieving proofs of reachability over Term Rewriting Systems and for manipulating Tree Automata (bottom-up non-deterministic finite tree automata). ohan Boichut participates to its development with the Inria team Celtique.


Vitamins (Visual and In Situ Analytics for Molecular Interactive Simulation) is an open source framework for the analysis and visualisation of large molecular dynamics trajectories directly acquired in-situ while the simulation is running, or read from files. It is developed in collaboration with all the partners of the ANR ExaviZ project.


XMG (eXtensible MetaGrammar) is a compiler whose aim is to ease the development of large linguistics resources.


XMLCorrector is an implementation of an algorithm allowing to correct an XML document with respect to schema constraints expressed as a DTD. It is developed by members of the LI of Tours and the LIFO. It is distributed under the LGPL license.