yars-pg

There are 3 repositories under yars-pg topic.

  • lszeremeta/yarspg

    YARS-PG grammar. The YARS-PG serialization is specially designed for graphs, especially property graphs.

    Language:ANTLR6360

  • lszeremeta/mizgra

    Converts Mizar ESX MML mathematical data to property graph formats - GraphML, YARS-PG for Neo4j, and other graph databases. Supports external RDF data.

    Language:Python3100

  • lszeremeta/knows

    Property graph benchmark with node and edges generation, multiple output formats, and visualization

    Language:Python2101