GitHub repository: AutoInc/graphbolt
Description: GraphBolt: Dependency-Driven Synchronous Processing of Streaming Graphs