Explore projects
-
Updated
-
-
-
coccinelle / CoccinelleForRust
GNU General Public License v2.0 or laterUpdated -
Updated
-
Welcome to Hintikka's world! This website shows intelligent artificial agents reasoning about higher-order knowledge (a knows that b knows that...). It enables to explore mental states of the agents by clicking on them.
Updated -
ZIMMERMANN Paul / ecm
GNU General Public License v3.0 onlyUpdated -
Updated
-
Updated
-
FEKETE Jean-Daniel / PPCA
BSD 2-Clause "Simplified" LicenseProgressive Principal Component Analysis
Updated -
solverstack / hips
OtherUpdated -
Philippe Virouleau / bidouille-instrumentation
GNU General Public License v3.0 or laterUpdated -
Updated
-
Collection of lessons and learning exercises for the polyhedral model, and organized into knowledge fragments.
Updated -
Updated
-
A version of TsunamiLab running on cluster-driven wall displays.
Updated -