GitHub repository: JuliaGraphs/GraphsInterfaceChecker.jl
Primary language: Julia
Description: Formalization of the AbstractGraph interface from Graphs.jl, specified using Interfaces.jl.