Explore projects

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

A rule-based HDL embedded within Coq

A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.

Apollo Benchmarks

Unified Microscopic Agent Navigation Simulator: A crowd-simulation engine that captures many local microscopic simulation algorithms in a single framework.

TRISKELE stands for Tree Representations of Images for Scalable Knowledge Extraction and Learning for Earth observation

This project is originating from OBELIX team project from IRISA and aims to provide image hierarchical representations to be us

Python wrappers for the dtk-core layer

Tools to check the accuracy of mathematical functions