Explore projects

Implementation of bigraphs in Coq.

awesome_ros2_tutorials is a gitlab project who containt the docs, and the packages for taking in hand ros2 in the isae autonomous platform.

Cryptographically-proven Erasure Coding

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