A small programming language which compiles to WASM.

A list of watched / yet-to-be-watched movies.

Octagonal constraints solver developed and verified in Coq for the FORVES2 project.

A list of resources which I quote at times. To have them handy.