spicylemonade / c-hd-proof

C-HD: Lean 4 proof package for a directed single-source shortest-path bound (snapshot 2026-09-20)

sauravsingla / VeloGraphX

High-performance C++20 + Python engine for dynamic and incremental graph analytics on evolving graphs — BFS, SSSP, connected components, triangles, k-core and PageRank.