Browsing Linked Data Catalogs

A library for constraint-based Hindley-Milner type inference.

A program in charge of managing one Batsim simulation.

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.

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

The meta repository for building OpenViBE

The OpenViBE extras: Acquisition Server, demos, plugin contributions

A library for rendering GLSL shaders in an Shadertoy-like environment

PIPER application

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.

N-body simulation using kernel independent Fast Multipole Method

Python Schedulers for Batsim

Post-mortem analysis tool for StarPU scheduling studies