littlejlf
I am a student in Zhejiang Sci-Tech University. I want to study in Github and try to make some contributions to the community, I like coding.
Pinned Repositories
antlr-java
AsyncDetector
A flow, context and object-sensitive inter-procedural static analysis tool for misuse detection of AsyncTask
autoMate
Awesome-Concurrency-Vulnerability-Paper
Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.
Awesome-Fundamentals-Of-Compiling-Resource
编译器原理学习资源分享,同时欢迎大家参与分享。
certificate-photo
一个生成证件照的小程序,微信云原生开发小程序。 只fork不star是很没品的。
checker-framework
Pluggable type-checking for Java
Concurrent-Patterns-and-Best-Practices
Concurrent Patterns and Best Practices, published by Packt
cortex-tool
程序分析开源项目
FocusClock
一款能够让你在专注工作时不受手机干扰的软件
littlejlf's Repositories
littlejlf/autoMate
littlejlf/certificate-photo
一个生成证件照的小程序,微信云原生开发小程序。 只fork不star是很没品的。
littlejlf/checker-framework
Pluggable type-checking for Java
littlejlf/Concurrent-Patterns-and-Best-Practices
Concurrent Patterns and Best Practices, published by Packt
littlejlf/deadLock-Detector-java
littlejlf/demo
同来测试一些东西
littlejlf/dingo-hunter
Static analyser for finding Deadlocks in Go
littlejlf/Effective-Java-3rd-edition-Chinese-English-bilingual
Effective Java(第3版)各章节的中英文学习参考(已完成)
littlejlf/findbugs
The new home of the FindBugs project
littlejlf/icspa-public-guide
Guide for ICSPA MOOC
littlejlf/java-benchmarks
littlejlf/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.
littlejlf/lockbud
Statically detect Rust deadlocks bugs
littlejlf/mkdocs
littlejlf/mkdocsSite
littlejlf/ml4se
A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering
littlejlf/mostly-adequate-guide-video-zh
函数式编程指南的中文讲解系列视频 Mostly Adequate Guide to Functional Programming
littlejlf/pg-lock-tracer
A eBPF based lock tracer for the PostgreSQL database
littlejlf/pic
床图
littlejlf/PL-Compiler-Resource
程序语言与编译技术相关资料(持续更新中)
littlejlf/PracticalSkillsTutorial
浙江大学系列朋辈辅学「实用技能拾遗」课程资料仓库
littlejlf/sicp-lectures
lecture slides and in-class demos of sicp
littlejlf/static-analysis-
静态分析基础教程
littlejlf/Tai-e-assignments
Tai-e assignments for static program analysis
littlejlf/Tai-ekyb
An easy-to-learn/use static analysis framework for Java
littlejlf/TaintMini
Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis
littlejlf/test
littlejlf/test-java
测试java和git命令
littlejlf/test-java-feature
littlejlf/test_example
测试一些特性、示例