Explore projects

Miroir en vue du départ d'Antoine.

Implements the nanorod equation and incompressible Navier-Stokes equation using the port-Hamiltonian formalism

Implementation of bigraphs in Coq.

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

Nanospace Demonstration

This repository contains the software used in devoloping my PhD thesis entitled: A Methodology for Credit-Based Shaper Deployment in Time Sensitive Networks: Design, Analysis and Optimization

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