1.typedb / typeqlTypeQL: Built for systems, not recordsreasoningquery-languagequeryinferencelogicdatabase+6 moreRustMPL-2.0257 total53 forks+2 starsfrom 255 · score 1.10
2.neo4j / neo4j-python-driverNeo4j Bolt driver for Pythonpythongraph-databasedriverneo4jdatabase-driverprotocol+5 morePythonOther license1.1K total214 forks+1 starsfrom 1,050 · score 0.69
3.krotik / eliasdbEliasDB a graph-based database.golanggraphembeddedsupports-transactionsquery-languagestandalone+9 moreGoMPL-2.01K total48 forks+1 starsfrom 1,035 · score 0.69
4.querycert / qcertCompilation and Verification of Data-Centric Languagesverificationquery-languagequery-enginefunctional-programmingcoq-proof-assistantsql+2 moreCoqAPACHE-2.061 total10 forks+1 starsfrom 60 · score 0.69