Explore projects

The Temporal Logic Wizard

A virtual machine with an extremely simplified architecture for teaching purpose

Animated code & data structures with LaTeX/beamer

Python helper library to generate AMC exams

The Tiny Computer

SNAKES is the Net Algebra Kit for Editors and Simulators

https://www.ibisc.univ-evry.fr/~fpommereau/SNAKES/

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