Gaffer: Large-scale graph database by GCHQ (github.com)