Explore projects

Puppet stdlib module. Originally designed by Puppetlabs. https://github.com/puppetlabs/puppetlabs-stdlib

This software contains two interfaces dedicated to facilitating the usage of the TRANUS integrated land use and transport model+software.

Setup Debian and MacOSX machines so that our backuppc instance can access them. Do not run this software if you are not related to datapol (unless you really want us to gain root access on your machine...)

This software allows to graphically visualise data output by the TRANUS LUTI model (and possibly, of any other data of the same structure), in QGIS.

Sollya is a tool environment for safe floating-point code development. It is particularily targeted to the automatized implementation of libms. Amongst other features, it offers a certified infinite norm and a fast Remez algorithm.

Code associated to the manuscript "Maximizing protein production by keeping cells at optimal secretory stress levels using real-time control approaches", by Sosa-Carrillo and colleagues, bioRxiv, 10.1101/2022.11.02.514931. The code can be used to analyze the raw data and generate figures for the manuscript. The raw data can be found on Zenodo at doi:10.5281/zenodo.7418639

This project provides the code of Abstra, an all-in-one dataset abstraction system.

It is developed with Java and use Postgres to store data.

A new efficient polytope evaluation algorithm for feasible wrench analysis of the human musculoskeletal models. https://auctus-team.gitlabpages.inria.fr/people/antunskuric/papers/human_wrench_capacity

Public project which purposes are 1/ the distribution of the documentation and examples of the IsamDAE software, and 2/ the bug-tracking of the software. IsamDAE is a structural analysis software for multimode DAE systems.

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

Front-end to the automatic verifier of cryptographic protocol ProVerif that improve the verification of protocol with global states.

Various tools for Gazelle TM (& EVS) [gazelle-tm-tools].

Code related to the paper:

"Unsupervised quality control of segmentations based on a smoothness and intensity probabilistic model"

by Benoît Audelan and Hervé Delingette.

Link: https://doi.org/10.1016/j.media.2020.101895

Parallel Aggregated Ordered Hypergraph (PAOH) is a technique to visualize dynamic hypergraphs. Hypergraphs are a generalization of graphs where edges can connect more than two vertices. Hypergraphs can be used to model co-authorship networks wi

The urbansprawl project provides an open source framework for assessing urban sprawl using open data.

Fork the project: https://github.com/lgervasoni/urbansprawl

Crowd Animation Open Software (ChAOS) is a visualization tool to create a crowd with animated virtual humans from precomputed trajectory files.

Scripts to extended Trieste functionalities.

Crowd Animation Open Software (ChAOS) is a visualization tool to create a crowd with animated virtual humans from precomputed trajectory files.

These talks explains briefly how to use the library.

They were beforehand in the main project but were moved here in July 2019.

A C program for solving the heat propagation equation in 2D. Serves also as a toy project for playing with gitlab, gitlab-ci, Jenkins, SonarQube, etc.