Pinned Loading

1. safirl-codev safirl-codev Public

   SAFIRL: Shielded RL with CBF/MPC on Franka-MuJoCo — reproducible training/evaluation, STL-based verification, benchmarks, Docker/CI.

   Python 2

2. quantum-drone-qkd quantum-drone-qkd Public

   Simulation and visualization suite for quantum key distribution (QKD) between mobile drones.

   Python

3. txguard-qkd txguard-qkd Public

   Digital twin & security validation toolkit for DV-QKD (BB84 + decoy)

   Python