Giters
Wenjing Deng (cuteDen-ECNU)

cuteDen-ECNU

Geek Repo

5

followers

8

following

11

stars

Company:ECNU

Location:Shanghai, China

Home Page:cuteDen-ECNU.github.io

Github PK Tool:Github PK Tool

Wenjing Deng's starred repositories

ENVISIONS

A Neural-Symbolic Self-Training Framework

Language:CStargazers:97Issues:0Issues:0

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~

Language:VueLicense:MITStargazers:5995Issues:0Issues:0

duckdb_spatial

Language:CLicense:MITStargazers:463Issues:0Issues:0

postgis

PostGIS spatial database extension to PostgreSQL [mirror]

Language:PLpgSQLLicense:GPL-2.0Stargazers:1702Issues:0Issues:0

geos

Geometry Engine, Open Source

Language:C++License:LGPL-2.1Stargazers:1178Issues:0Issues:0

Deopt

Datalog Engines OPtimization Tester.

Language:PythonLicense:Apache-2.0Stargazers:13Issues:0Issues:0

clang-tool-template

A basic repository for a Clang-based tool, with CMake integration.

Language:C++License:MITStargazers:10Issues:0Issues:0

XPress

Automated testing for XML XPath execution

Language:JavaStargazers:16Issues:0Issues:0

bibtidy

Search, check, and autofix your BibTex files!

Language:PythonLicense:MITStargazers:25Issues:0Issues:0

GraphGenie

To detect logic bugs in graph database engines by mutating graph query patterns. ICSE'24.

Language:PythonLicense:Apache-2.0Stargazers:29Issues:0Issues:0

home

The Themis Benchmark for evaluating automated GUI testing

Language:PythonLicense:MITStargazers:142Issues:0Issues:0