JZuming

JZuming's Stars

• ClickHouse/ClickHouse

  ClickHouse® is a real-time analytics DBMS

  Language:C++37.9k69221.9k6.9k

• sunface/rust-course

  “连续八年成为全世界最受喜爱的语言，无 GC 也无需手动内存管理、极高的性能和安全性、过程/OO/函数式编程、优秀的包管理、JS 未来基石" — 工作之余的第二语言来试试 Rust 吧。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容，这可能是目前最用心的 Rust 中文学习教程 / Book

  Language:Rust25.9k1622002.2k

• 521xueweihan/GitHub520

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

  Language:Python23.4k2772102.3k

• googlehosts/hosts

  镜像：https://scaffrey.coding.net/p/hosts/git / https://git.qvq.network/googlehosts/hosts

  20.8k1.3k42910.2k

• exaloop/codon

  A high-performance, zero-overhead, extensible Python compiler using LLVM

  Language:C++15.2k137423522

• mysql/mysql-server

  MySQL Server, the world's most popular open source database, and MySQL Cluster, a real-time, open source transactional database.

  Language:C++10.9k56303.9k

• wowchemy/wowchemy-hugo-themes

  😍 EASILY BUILD THE WEBSITE YOU WANT - NO CODE, JUST MARKDOWN BLOCKS! 使用块轻松创建任何类型的网站 - 无需代码。 一个应用程序，没有依赖项，没有 JS

  Language:HTML7.5k961.8k2.8k

• jepsen-io/jepsen

  A framework for distributed systems verification, with fault injection

  Language:Clojure6.9k192246718

• sqlite/sqlite

  Official Git mirror of the SQLite source tree

  Language:C6.8k12201k

• 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~

  Language:Vue6.5k2283444

• hmaverickadams/Beginner-Network-Pentesting

  Notes for Beginner Network Pentesting Course

  5.8k538201.6k

• AFLplusplus/AFLplusplus

  The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

  Language:C5.3k808111.1k

• tuna/thuthesis

  LaTeX Thesis Template for Tsinghua University

  Language:TeX4.6k886711.1k

• google/AFL

  american fuzzy lop - a security-oriented fuzzer

  Language:C3.7k8191644

• wcventure/FuzzingPaper

  Recent Fuzzing Paper

  2.5k15613366

• ept/hermitage

  What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

  2.5k733182

• sqlancer/sqlancer

  Automated testing to find logic and performance bugs in database systems

  Language:Java1.5k32141281

• atomiechen/THU-PPT-Theme

  清华主题PPT模板

  1.1k8084

• anse1/sqlsmith

  A random SQL query generator

  Language:C++7583339128

• s3team/Squirrel

  Language:C++18682854

• testsmt/yinyang

  A fuzzing framework for SMT solvers

  Language:Python18563023

• tingsu/Stoat

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

  Language:Python14372537

• sslab-gatech/apollo

  A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.

  Language:HCL7010713

• tehwalris/forest

  A multi-cursor structural editor prototype for TypeScript

  Language:TypeScript573270

• DeadCodeProductions/dead

  Language:C504305

• JZuming/TxCheck

  A fuzzing framework for finding transactional bugs in DBMSs

  Language:C++50311

• functional-fuzzing-android-apps/home

  Language:Python4751011

• shao-hua-li/CompDiff

  Language:C35312

• testsmt/janus

  A tool for testing SMT solvers for incompleteness bugs

  Language:Python15200