The Z3 Theorem Prover

Xiaomi Home Integration for Home Assistant

Touying is a powerful package for creating presentation slides in Typst.

A continuously updated collection of CodeLLM papers

🤖 Just a command runner

An easy-to-learn/use static analysis framework for Java

程序语言与编译技术相关资料（持续更新中）

AeroSpace is an i3-like tiling window manager for macOS

A self-hosting and educational C optimizing compiler

👾 A Python API wrapper for Poe.com. With this, you will have free access to GPT-4, Claude, Llama, Gemini, Mistral and more! 🚀

Enumerative Testing and Bounded Validation of SMT Solvers

Fully proved small C functions (examples for verification course).

📚 A collection of open and closed source Content Management Systems (CMS) for your perusal.

Agentless🐱: an agentless approach to automatically solve software development problems

Repository for the paper "Large Language Model-Based Agents for Software Engineering: A Survey". Keep updating.

LLM101n: Let's build a Storyteller

Data and evaluation scripts for "CodePlan: Repository-level Coding using LLMs and Planning", FSE 2024

Linux 内核揭秘

AssertJ is a library providing easy to use rich typed assertions

Fluent assertions for Java and Android

Delightful JavaScript Testing.

Write better assertions

《Hello 算法》：动画图解、一键运行的数据结构与算法教程。支持 Python, Java, C++, C, C#, JS, Go, Swift, Rust, Ruby, Kotlin, TS, Dart 代码。简体版和繁体版同步更新，English version ongoing

APM, Application Performance Monitoring System

EvoSpex: A Search-based Tool for Postcondition Inference

南京大学学位论文 Typst 模板 modern-nju-thesis

GAssert: A Fully Automated Tool to Improve Assertion Oracles in Java Programs

Dynamic detection of likely invariants

Sample cloud-first application with 10 microservices showcasing Kubernetes, Istio, and gRPC.