cuteDen-ECNU's Stars
ccfddl/ccf-deadlines
⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~
postgis/postgis
PostGIS spatial database extension to PostgreSQL [mirror]
libgeos/geos
Geometry Engine, Open Source
duckdb/duckdb_spatial
the-themis-benchmarks/home
The Themis Benchmark for evaluating automated GUI testing
xufangzhi/ENVISIONS
A Neural-Symbolic Self-Training Framework
YuanchengJiang/GraphGenie
To detect logic bugs in graph database engines by mutating graph query patterns. ICSE'24.
bajinsheng/bibtidy
Search, check, and autofix your BibTex files!
nus-test/XPress
Automated testing for XML XPath execution
nus-test/Deopt
Datalog Engines OPtimization Tester.
nus-test/clang-tool-template
A basic repository for a Clang-based tool, with CMake integration.