Pinned Loading

1. multi-agent-pursuit-evasion multi-agent-pursuit-evasion Public

   extended with probabilistic transition

   PowerShell 1 1

2. a-star-pathfinding a-star-pathfinding Public

   Advanced path planning system with custom A* implementation for optimal route generation

   Python

3. federated-fairness-verification federated-fairness-verification Public

   Formal verification of fairness in a 3‑client federated learning protocol. Models the FL workflow in NuSMV, encodes CTL properties for liveness, safety, and fairness, and automatically verifies no …

   Python

4. pursue-escape-planning pursue-escape-planning Public

   A real-time multi-agent pursuit-evasion simulation featuring three intelligent agents (Tom, Jerry, and Spike) in a dynamic environment. Each agent independently plans its path while pursuing its ta…

   Python

5. automatic-program-repair-steering automatic-program-repair-steering Public

   Python

6. hobby-hive hobby-hive Public

   A gamified social platform for hobbyists featuring video discovery (The Hive), skill tracking, and time capsules. Built with React & Supabase.

   TypeScript