Collection of urdf models (including part of YCB dataset). Made for robot manipulation and grasping simulation, tested with PyBullet.

Static Value-Flow Analysis Framework for Source Code

Verified Rust for low-level systems code

Simple makefile-based build for musl cross compiler

Collection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.

ipsets dynamically updated with firehol's update-ipsets.sh script

[ACL 2024] The official GitHub repo for the paper "The Earth is Flat because...: Investigating LLMs' Belief towards Misinformation via Persuasive Conversation"

C++ standard library reference

Source for SibylFS model and test tools

KLEE Symbolic Execution Engine

2023年春数据库大作业 / 基于B Link Tree的页式关系数据库 / A database based on B-Link Tree

2022年春《移动应用软件开发》课程大作业 / 原生安卓BBS / A simple mobile BBS

Style guides for Google-originated open-source projects

跟我一起写Makefile重制版