Giters
Yingquan Zhao (Hecoz)

Hecoz

Geek Repo

11

followers

46

following

68

stars

Company:Tianjin University

Location:Tianjin, China

Github PK Tool:Github PK Tool

Yingquan Zhao's starred repositories

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:173593Issues:7970Issues:0

awesome-go

A curated list of awesome Go frameworks, libraries and software

Language:GoLicense:MITStargazers:124073Issues:2795Issues:639

kratos

Your ultimate Go microservices framework for the cloud-native era.

Language:GoLicense:MITStargazers:22671Issues:445Issues:1138

V2rayU

V2rayU,基于v2ray核心的mac版客户端,用于科学上网,使用swift编写,支持trojan,vmess,shadowsocks,socks5等服务协议,支持订阅, 支持二维码,剪贴板导入,手动配置,二维码分享等

Stargazers:18170Issues:279Issues:1311

static-analysis

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

Language:RustLicense:MITStargazers:13017Issues:319Issues:575

sampler

Tool for shell commands execution, visualization and alerting. Configured with a simple YAML file.

Language:GoLicense:GPL-3.0Stargazers:12293Issues:158Issues:83

llama3-from-scratch

llama3 implementation one matrix multiplication at a time

Language:Jupyter NotebookLicense:MITStargazers:10648Issues:74Issues:12

jvm

🤗 JVM 底层原理最全知识总结

Language:JavaLicense:CC-BY-SA-4.0Stargazers:10299Issues:252Issues:16

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:9916Issues:182Issues:5416

AFL

american fuzzy lop - a security-oriented fuzzer

Language:CLicense:Apache-2.0Stargazers:3494Issues:82Issues:91

FuzzingPaper

Recent Fuzzing Paper

License:MITStargazers:2305Issues:154Issues:13

jmh

https://openjdk.org/projects/code-tools/jmh

Language:JavaLicense:GPL-2.0Stargazers:2077Issues:36Issues:0

pitest

State of the art mutation testing system for the JVM

Language:JavaLicense:Apache-2.0Stargazers:1652Issues:57Issues:808

Static-Program-Analysis-Book

Getting started with static program analysis. 静态程序分析入门教程。

License:CC-BY-SA-4.0Stargazers:1586Issues:26Issues:6

kmspro

windows系统一句命令激活，office套件一句命令激活，一键搭建kms服务器，kms一键脚本，安卓Android搭建kms服务器

Language:ShellStargazers:1565Issues:22Issues:33

Excel2LaTeX

The Excel add-in for creating LaTeX tables

Language:VBALicense:NOASSERTIONStargazers:1215Issues:30Issues:34

jazzer

Coverage-guided, in-process fuzzing for the JVM

Language:JavaLicense:Apache-2.0Stargazers:974Issues:27Issues:143

oss-fuzz-gen

LLM powered fuzzing via OSS-Fuzz.

Language:PythonLicense:Apache-2.0Stargazers:755Issues:12Issues:90

mini-jvm

使用 JDK8 实现 JVM(Java Virtual Machine)

Language:JavaLicense:LGPL-3.0Stargazers:709Issues:33Issues:23

JQF

JQF + Zest: Coverage-guided semantic fuzzing for Java.

Language:JavaLicense:BSD-2-ClauseStargazers:643Issues:19Issues:176

jpf-core

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:JavaStargazers:515Issues:21Issues:218

JavaBooks

网络收集的JAVA学习资料，仅作学习交流使用，列表中没有的书籍，可前往公众号【zxiaofan】留言

Stargazers:312Issues:13Issues:1

Dragonfly

Dragonfly（蜻蜓）是阿里自研的 P2P 文件分发系统，开源版的 Dragonfly 可用于 P2P 文件分发、容器镜像分发、局部限速、磁盘容量预检等。它支持多种容器技术，对容器本身无需做任何改造，镜像分发比 natvie 方式提速可高达 57 倍，Registry 网络出流量降低99.5%以上。

Language:JavaLicense:Apache-2.0Stargazers:92Issues:7Issues:0

latex-sketch-plugin

Bringing LaTeX to Sketch!

Language:JavaScriptStargazers:70Issues:3Issues:7

JavaFuzzer

Java* Fuzzer for Android*

Language:RubyLicense:Apache-2.0Stargazers:32Issues:6Issues:0

neojam

JamVM adapted version on macOS Catalina 10.15.6

Language:CStargazers:16Issues:1Issues:1

Fuzzer

Java* Fuzzer for Android*

Language:RubyLicense:Apache-2.0Stargazers:12Issues:5Issues:0

remparallels

Parallels Removal Tool Mac OS X All Versions

Language:AppleScriptLicense:MITStargazers:10Issues:0Issues:0

CFSynthesis

History-Driven Test Program Synthesis for JVM Testing

Language:JavaStargazers:6Issues:0Issues:0

satcheck-vagrant

SATCheck Vagrant code

Language:TeXStargazers:1Issues:0Issues:0