Explore projects

[Bordeaux INP] - connection between IDM and NSS

Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html

The PhD day at ISAE-Supaero. (template from https://github.com/hakimel/reveal.js)

Cryptographically-proven Erasure Coding

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

Cryptographically-proven Erasure Coding

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

Implementation of bigraphs in Coq.