😘 让你“爱”上 GitHub，解决访问时图裂、加载慢的问题。（无需安装）

A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support

Python SQL Parser and Transpiler

清华主题PPT模板

Contextual Harnessing for Efficient SQL Synthesis

A fuzzing framework for SMT solvers

The Themis Benchmark for evaluating automated GUI testing

Stoat (STochastic model App Tester) - an automatic testing tool for android apps

A new CardEst Benchmark to Bridge AI and DBMS

The SQL Standards Project aims to create consensus in SQL semantics

A bounded exhaustive testing tool

A tool for testing SMT solvers for incompleteness bugs