Explore projects

shallow lava flows for geosciences and volcans

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

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

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

TODO: later.

Otawa 2 plugin for exact analysis of lru caches