This one is custom-built in Python. It generates Graphviz DOT files which will be rendered into SVG. The rest is a simple static site generator.