Hecoz

go-concurrency-bugs

Collected Concurrency Bugs in Our ASPLOS Paper

gopeed

A modern download manager that supports all platforms. Built with Golang and Flutter.

proxyee-down

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

demo

照片墙

LeetCodeAnimation

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

Java-Summarize

:books:Java核心知识点整理（包括Java基础、JVM、数据库、计算机网络、算法、操作系统、设计模式、系统设计、框架原理）

CS-Notes

:books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计

Knowledge-Graph-Analysis-Programming-Exercises

Exercises for the Analysis of Knowledge Graphs

jvm-sandbox

Real - time non-invasive AOP framework container based on JVM

greys-anatomy

Java诊断工具

ailearning

AiLearning：数据分析+机器学习实战+线性代数+PyTorch+NLTK+TF2

Latex

latex入门教程

iterm2-with-oh-my-zsh

iTerm2 + Oh My Zsh 打造舒适终端体验

996.ICU

Repo for counting stars and contributing. Press F to pay respect to glorious developers.

intellij-community

IntelliJ IDEA Community Edition & IntelliJ Platform

awesome-mac

 Now we have become very big, Different from the original idea. Collect premium software in various categories.

state-of-the-art-bug-benchmarks

Call-Graph-Soot

Assembly-UI

Visualizes ASM call-graphs from an executable binary.

java-callgraph

Programs for producing static and dynamic (runtime) call graphs for Java programs

Awesome-CV

Awesome CV is LaTeX template for your outstanding job application

AeminiumBenchmarks

Benchmarks for the Æminium Runtime

reflectasm

High performance Java reflection

NASAC2018_DATA

defects4j

A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research

agent_instrumentor

ConSuite

ConSuite implementation by Yixiao Yang.

randoop

Automatic test generation for Java

sv-benchmarks

Collection of Verification Tasks (MOVED, please follow the link)

calfuzzer