Explore projects

Otawa 2 plugin for exact analysis of lru caches

TODO: later.

Basic library which links only to QtCore (without references to gui features): expression, messages, cache, xml, tar, memory, crash,...

This repository contains all source files, published documents, and example programs for Siconos software.

Development of a resilient CPS for the thermal regulation of a building. Using partly simulated agents and partly real ones.