littlejlf Goto Github PK

antlr-java

asyncdetector

A flow, context and object-sensitive inter-procedural static analysis tool for misuse detection of AsyncTask

awesome-concurrency-vulnerability-paper

Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.

awesome-fundamentals-of-compiling-resource

编译器原理学习资源分享，同时欢迎大家参与分享。

checker-framework

Pluggable type-checking for Java

concurrent-patterns-and-best-practices

Concurrent Patterns and Best Practices, published by Packt

cortex-tool

程序分析开源项目

deadlock-detector-java

demo

同来测试一些东西

dingo-hunter

Static analyser for finding Deadlocks in Go

dm-ticket

大麦网自动购票, 支持docker一键部署。https://t.me/+2EELgNTYiMYxMTFl

effective-java-3e-source-code

can run

effective-java-3rd-edition-chinese-english-bilingual

Effective Java（第3版）各章节的中英文学习参考（已完成）

el-jingliu

定时专注软件

findbugs

The new home of the FindBugs project

flappybird

基于Java基础类库编写的Flappy Bird

focusclock

一款能够让你在专注工作时不受手机干扰的软件

functional_thinking

This is the example code repository for Functional Thinking by Neal Ford (O'Reilly Media)

gradle-tutorial

Gradle 30分钟入门教程

haskellings

An automated tutorial to teach you about Haskell!

hellow_word

just a try

hippodrome

An automatic program repair tool for data races in Java programs.

icspa-public-guide

Guide for ICSPA MOOC

ifix

jasmine

java-benchmarks

java-deadlocks

This is a set of java projects of different complexities that may cause deadlock at some point of their execution. The main purpose of these programs is to be used as test projects for Java Deadlock Analysis tools.

jda_students-version

Deadlock analsys for Java bytcode

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.

kafka-streams-examples

Demo applications and code examples for Apache Kafka's Streams API.