Explore projects

Cryptographically-proven Erasure Coding

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

[ISAE-SUPAERO] - Mission Analysis

User version - v1.0 - CS-Group

Tool dedicated to preliminary Space Mission Analysis

(Orbit definition, surface coverage, visibility windows, eclipse calculation, etc.)

This repository contains a framework for injecting artificial SEU faults into RISC-V core. This work was done as a part of ISAE Supaero Master Aerospace Engineering degree.

Cryptographically-proven Erasure Coding

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

Fork of Certyflie project from AdaCore, cf. https://github.com/AdaCore/Certyflie

An example application of Komodo. This implements a simple CLI application with a Nushell wrapper.

test