1.neo4j / neo4j-python-driverNeo4j Bolt driver for Pythonpythongraph-databasedriverneo4jdatabase-driverprotocol+5 morePythonOther license1.1K total214 forks+1 starsfrom 1,050 · score 0.69
2.typedb / typeqlTypeQL: Built for systems, not recordsreasoningquery-languagequeryinferencelogicdatabase+6 moreRustMPL-2.0257 total53 forks+1 starsfrom 256 · score 0.69
3.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