Explore projects

Cryptographically-proven Erasure Coding

crate: https://crates.io/crates/komodo mirror: https://github.com/dragoon-rs/komodo

Reproducibility study of a multiscale CNN used for modelling PDE's

Copy of the original CREME project scripts. This copy is used to learn the functioning of the original simulations and modify it.

A repository for our fork of Frama-C.

[UPM] - Radiation module