Beast code in Giters

Tao Ji's starred repositories

tidb

TiDB is an open-source, cloud-native, distributed, MySQL-Compatible database for elastic scale and real-time analytics. Try AI-powered Chat2Query free at : https://www.pingcap.com/tidb-serverless/

Language:GoApache-2.03666000

oceanbase

OceanBase is an enterprise distributed relational database with high availability, high performance, horizontal scalability, and compatibility with SQL standards.

Language:C++NOASSERTION810400

datahub

The Metadata Platform for your Data Stack

Language:JavaApache-2.0951700

doc88-downloader

POC: download documents from doc88.com as images and convert them to searchable PDFs

Language:JavaScriptNOASSERTION7400

TrafficMonitor

这是一个用于显示当前网速、CPU及内存利用率的桌面悬浮窗软件，并支持任务栏显示，支持更换皮肤。

Language:C++NOASSERTION3361100

lx-music-desktop

一个基于 electron 的音乐软件

Language:TypeScriptApache-2.03856400

AutoRNP

AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries

Language:CGPL-3.01000

dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

Language:C++MIT47700

depends

Depends is a fast, comprehensive code dependency analysis tool

Language:JavaMIT18900

pitest

State of the art mutation testing system for the JVM

Language:JavaApache-2.0166000

awesome-java

A curated list of awesome frameworks, libraries and software for the Java programming language.

NOASSERTION4090200

cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

Language:JavaApache-2.022000

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

Language:Java51900