Contains the website for the Batfish project: https://github.com/batfish/batfish - View it on GitHub