Explore projects

A collection of short guides to get you through calculation server (NEF and IHUSUX)

..warning: The guide is written from trails and errors, and by no mean should dictate how you live your life.

This project contain tutorial and demo notebooks to be used on the Grid'5000 platform.

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.

Proof of concept of an environmental impact viewer.

Separation Logic with Characteristic Formulae Entirely within Coq

Dépôt git pour le site web de Liber Abaci

The OpenViBE SDK (certifiable perimeter). This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.

Numerical Enablers on OctreeS

Encoding/Decoding multiple formats to DNA

Gratin - A programmable Node-based System for GPU-friendly Applications

Test learning algorithms in python after encoding using rust backed entropy coder.