Explore projects

Cryptographically-proven Erasure Coding

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

Implementation of bigraphs in Coq.

Nanospace Demonstration

Nanospace Python Client

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

Nanospace Docker Images (Front-End/Back-End)

forked from https://github.com/amtoine/dotfiles

Forked from https://github.com/amtoine/config.nvim