Explore projects

A repository for our fork of Frama-C.

A project that investigate the correcteness and performance of different quicksort implementations.

[UPM] - Radiation module

A project investigating the invertability of random matrices over a finite field.

Explores ways to branch an RNG to measure things about a random process without changing the state of the RNG when doing measures or not.