GitHub repository: CategoricalData/APG
Primary language: Coq
Description: Coq Implementation of Algebraic Property Graphs