Yingquan Zhao (Hecoz)

Hecoz

Geek Repo

Company:Tianjin University

Location:Tianjin, China

Github PK Tool:Github PK Tool

Yingquan Zhao's starred repositories

llama3-from-scratch

llama3 implementation one matrix multiplication at a time

Language:Jupyter NotebookLicense:MITStargazers:10648Issues:0Issues:0

oss-fuzz-gen

LLM powered fuzzing via OSS-Fuzz.

Language:PythonLicense:Apache-2.0Stargazers:755Issues:0Issues:0

CFSynthesis

History-Driven Test Program Synthesis for JVM Testing

Language:JavaStargazers:6Issues:0Issues:0

JavaFuzzer

Java* Fuzzer for Android*

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

JQF

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

Language:JavaLicense:BSD-2-ClauseStargazers:643Issues:0Issues:0

FuzzingPaper

Recent Fuzzing Paper

License:MITStargazers:2305Issues:0Issues:0

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

jazzer

Coverage-guided, in-process fuzzing for the JVM

Language:JavaLicense:Apache-2.0Stargazers:974Issues:0Issues:0

Fuzzer

Java* Fuzzer for Android*

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

jmh

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

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

kmspro

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

Language:ShellStargazers:1565Issues:0Issues:0

neojam

JamVM adapted version on macOS Catalina 10.15.6

Language:CStargazers:16Issues:0Issues:0

Static-Program-Analysis-Book

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

License:CC-BY-SA-4.0Stargazers:1586Issues:0Issues:0

jvm

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

Language:JavaLicense:CC-BY-SA-4.0Stargazers:10299Issues:0Issues:0

latex-sketch-plugin

Bringing LaTeX to Sketch!

Language:JavaScriptStargazers:70Issues:0Issues:0

V2rayU

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

Stargazers:18168Issues:0Issues:0

AFL

american fuzzy lop - a security-oriented fuzzer

Language:CLicense:Apache-2.0Stargazers:3494Issues:0Issues:0

remparallels

Parallels Removal Tool Mac OS X All Versions

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

Excel2LaTeX

The Excel add-in for creating LaTeX tables

Language:VBALicense:NOASSERTIONStargazers:1215Issues:0Issues:0

mini-jvm

使用 JDK8 实现 JVM(Java Virtual Machine)

Language:JavaLicense:LGPL-3.0Stargazers:709Issues:0Issues:0

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

JavaBooks

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

Stargazers:312Issues:0Issues:0

sampler

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

Language:GoLicense:GPL-3.0Stargazers:12293Issues:0Issues:0

kratos

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

Language:GoLicense:MITStargazers:22671Issues:0Issues:0

pitest

State of the art mutation testing system for the JVM

Language:JavaLicense:Apache-2.0Stargazers:1652Issues:0Issues:0

awesome-go

A curated list of awesome Go frameworks, libraries and software

Language:GoLicense:MITStargazers:124072Issues:0Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:9916Issues:0Issues:0

Dragonfly

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

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

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:173590Issues:0Issues:0

satcheck-vagrant

SATCheck Vagrant code

Language:TeXStargazers:1Issues:0Issues:0