Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "mathematical data" keyword
mizgra 1.0.1
Converts Mizar ESX MML mathematical data to property graph formats - GraphML, YARS-PG for Neo4j, ...2 versions - Latest release: 7 months ago - 14 downloads last month - 2 stars on GitHub - 1 maintainer
Related Keywords
mizgra
1
mathematics
1
parser
1
CLI
1
XML
1
ESX
1
RDF
1
MML
1
Mizar
1
Mizar Mathematical Library
1
Mizar Mathematical Library Knowledge Graph
1
MMLKG
1
CSV
1
converter
1
GraphML
1
YARS-PG
1
property graph
1
graph
1
graph database
1
graph data
1
Neo4j
1
graph-data
1
graph-database
1
graphml
1
mizar
1
neo4j
1
property-graphs
1
rdf
1
rdflib
1
yars-pg
1