I wanted to share with the community a Rust library I started a little while ago called typegraph. It lets you build graphs of types in the type system, for static analysis and stuff like that.

It's the fourth entry in my "Beginner Crates" series, which are crates made for computers learning to code all by themselves.

You can also use it to make diagrams like this one of the tokio current-thread runtime:

https://github.com/nicksenger/typegraph/blob/master/tokio_cu...