xrbin0's Stars
ShiArthur03/ShiArthur03
baochuquan/Books
自己收集的一些电子书籍
ChatGPTNextWeb/ChatGPT-Next-Web
A cross-platform ChatGPT/Gemini UI (Web / PWA / Linux / Win / MacOS). 一键拥有你自己的跨平台 ChatGPT/Gemini 应用。
buptdavid/datastructure
用Java实现的数据结构暨算法,同时对其进行了测试
binary-husky/gpt_academic
为GPT/GLM等LLM大语言模型提供实用化交互接口,特别优化论文阅读/润色/写作体验,模块化设计,支持自定义快捷按钮&函数插件,支持Python和C++等项目剖析&自译解功能,PDF/LaTex论文翻译&总结功能,支持并行问询多种LLM模型,支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, moss等。
secure-software-engineering/FlowDroid
FlowDroid Static Data Flow Tracker
Wujiaxuan007/intellij-sdk-code-samples
IntelliJ 插件开发代码示例
JetBrains/intellij-platform-plugin-template
Template repository for creating plugins for IntelliJ Platform
CodeShield-Security/SPDS
Efficient and Precise Pointer-Tracking Data-Flow Framework
Anduin2017/HowToCook
程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).
guanyingc/latex_paper_writing_tips
Tips for Writing a Research Paper using LaTeX
soot-oss/soot
Soot - A Java optimization framework
aicezam/SmartOnmyoji
阴阳师后台代肝脚本,支持所有类似阴阳师的卡牌游戏(点点点游戏)自动找图-点击…(支持后台运行、支持多开、支持模拟器)
pascal-lab/Tai-e
An easy-to-learn/use static analysis framework for Java
liexusong/linux-2.4.0
Linux 2.4.0 source code reading notes
liexusong/linux-source-code-analyze
Linux内核源码分析
dibingfa/flash-linux0.11-talk
你管这破玩意叫操作系统源码 — 像小说一样品读 Linux 0.11 核心代码
gousiosg/java-callgraph
Programs for producing static and dynamic (runtime) call graphs for Java programs
0voice/linux_kernel_wiki
linux内核学习资料:200+经典内核文章,100+内核论文,50+内核项目,500+内核面试题,80+内核视频
QilinPTA/Qilin
Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
leafeonia/Qt_ArkNights
Simple ArkNights game based on Qt
pascal-lab/Tai-e-assignments
Tai-e assignments for static program analysis
zhangyikaii/NJUCS-Course-Material
南京大学计算机系 课程资料 作业 代码 实验报告 NJU-CS 课程分享计划 :rice:
tianyi-zhang/interpretable-program-synthesis
gaasedelen/lighthouse
A Coverage Explorer for Reverse Engineers
plctlab/PLCT-Open-Reports
PLCT实验室的公开演讲,或者决定公开的组内报告
klee/klee
KLEE Symbolic Execution Engine
CppCon/CppCon2020
Slides and other materials from CppCon 2020
howardlau1999/server-programming-guide
SVF-tools/SVF
Static Value-Flow Analysis Framework for Source Code