Yingquan Zhao (Hecoz)

Hecoz

Geek Repo

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:173404Issues:7971Issues:0

awesome-go

A curated list of awesome Go frameworks, libraries and software

LeetCodeAnimation

Demonstrate all the questions on LeetCode in the form of animation.(用动画的形式呈现解LeetCode题目的思路)

proxyee-down

http下载工具,基于http代理,支持多连接分块下载

Language:JavaLicense:Apache-2.0Stargazers:24955Issues:957Issues:0

kratos

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

V2rayU

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

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:13005Issues:319Issues:575

sampler

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

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

jvm

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

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

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:9913Issues:182Issues:5415

gopeed

High speed downloader that supports all platforms.

Language:DartLicense:GPL-3.0Stargazers:3899Issues:129Issues:46

AFL

american fuzzy lop - a security-oriented fuzzer

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

FuzzingPaper

Recent Fuzzing Paper

jmh

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

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

pitest

State of the art mutation testing system for the JVM

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

Static-Program-Analysis-Book

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

kmspro

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

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

mini-jvm

使用 JDK8 实现 JVM(Java Virtual Machine)

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

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.

JavaBooks

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

go-concurrency-bugs

Collected Concurrency Bugs in Our ASPLOS Paper

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!

neojam

JamVM adapted version on macOS Catalina 10.15.6

Fuzzer

Java* Fuzzer for Android*

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

remparallels

Parallels Removal Tool Mac OS X All Versions

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

demo

照片墙

Language:HTMLStargazers:3Issues:0Issues:0

satcheck-vagrant

SATCheck Vagrant code

Language:TeXStargazers:1Issues:0Issues:0