Explore projects

Mmult overview project

GeCoS Testing Framework provides an annotation-based testing framework for source-to-source transformations. This framework, built on top of JUnit4 and JUnit-dataprovider, enables a very simple and rapid way to specify integration tests.

Generates a bibliography for our website.

Cadbiom is an open source modeling software. Based on Guarded transition semantic, it gives a formal framework to help the modeling of biological systems such as cell signaling network.

A Python library for Cadbiom software. (This project is outdated)

python pricing for the PD-LRP

Base code for practicals 3rd year Ensimag and Mosig2 GVR. Contains everything needed to run shaders --- except the shaders themselves.

Matrix Matrix Multiplication using Static Algorithms on Multicores and GPUs.

The OpenViBE extras: Acquisition Server, demos, plugin contributions

The OpenViBE SDK (certifiable perimeter). This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.

The OpenViBE Designer project. This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.