Stars
🔥🔥 btrace (AKA RheaTrace) is a high-performance Android & iOS tracing tool built on Perfetto. It not only times your methods but also reveals why they’re slow.
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs
Open Source DeepWiki: AI-Powered Wiki Generator for GitHub/Gitlab/Bitbucket Repositories. Join the discord: https://discord.gg/gMwThUMeme
Recent papers about metamorphic testing
Fusing automated UI testing with scripts for effectively fuzzing Android apps
NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
GitHub page for "Large Language Model-Brained GUI Agents: A Survey"
This is the repo for the paper "OS Agents: A Survey on MLLM-based Agents for Computer, Phone and Browser Use" (ACL 2025 Oral).
《动手学大模型Dive into LLMs》系列编程实践教程
Repository for the paper "Large Language Model-Based Agents for Software Engineering: A Survey". Keep updating.
This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for O…
Enumerative Testing and Bounded Validation of SMT Solvers
Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel
Code coverage tool for compiled programs, Python and Bash which uses debugging information to collect and report data without special compilation options
Paper list for Personal LLM Agents
Source code for the paper "Empowering LLM to use Smartphone for Intelligent Task Automation"