Explore projects

The Temporal Logic Wizard

A virtual machine with an extremely simplified architecture for teaching purpose

The Tiny Computer

Datasets used to built IRSOM results

Multiscale dataset of non-coding RNA structures, including sequences, secondary structures, non-canonical interactions, 3D geometrical descriptors, and sequence homology.