G github.com Show HN: Typed Graph Theory: Extending graphs with type systems 1 points rcorcs 9 years ago 1 comments