Stars
An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.
📚 《从零开始构建智能体》——从零开始的智能体原理与实践教程
🧑🚀 全世界最好的LLM资料总结（多模态生成、Agent、辅助编程、AI审稿、数据处理、模型训练、模型推理、o1 模型、MCP、小语言模型、视觉语言模型） | Summary of the world's best LLM resources.
[SOSP'25] Automatic checker synthesis for system-level static analysis
An autonomous LLM-agent for large-scale, repository-level code auditing
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Source code (C,C++,Java) static analysis tool
LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)
LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)
A continuously updated collection of papers on agentic SE
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
[SCIS 2025] A Survey on Large Language Models for Software Engineering
Master programming by recreating your favorite technologies from scratch.
A brand-new multi-scenarios smart contract compiler framework
《动手学深度学习》：面向中文读者、能运行、可讨论。中英文版被70多个国家的500多所大学用于教学。
NaiveSystems Analyze is a static analysis tool for code security and compliance.
Generate compile_commands.json for any C or C++ build
Static Analyzer for LLVM based on the Crab Abstract Interpretation Library
🚀 Kick-start your C++! A template for modern C++ projects using CMake, CI, code coverage, clang-format, reproducible dependency management and much more.
A curated list of awesome LLVM (including Clang, etc) related resources.
Pillar - Bootstrap 5 Resume/CV Theme for Developers
PTABen: Micro-benchmark Suite for Pointer Analysis
Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis