The Semantic Code team is happy to announce that we've open-sourced stack-graphs, the Rust library that we're using to power GitHub's forthcoming Precise Code Navigation feature!  Check out the documentation for more details.