Starred repositories
Master programming by recreating your favorite technologies from scratch.
Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral]
hosts for android,implement by vpn mode,supports wildcard DNS records
Universal wireless communication library for embedded devices
No PR will be accepted for now, but feel free to submit issue, very appreciated.
a raspberry pi robot which you can remote control over the internet
Stepper motor with multi-function interface and closed loop function. 具有多功能接口和闭环功能的步进电机。
A refactoring tool for C/Yacc and Emacs. The first tool to cross Refactoring's Rubicon. Initial work, and released under GPL in 2009, by Marián Vittek.
A OneNote add-in with simple, yet powerful and useful features
Sarah Thompson's sigslot library, updated for the modern times.
Provide Intellisense for C/C++ with the help of the GNU Global tool in Visual Studio Code
Behavior Trees Library in C++. Batteries included.
A dynamic mock tool for C/C++ unit test on Linux&MacOS X86_64
A tool for stripping dynamic libraries of unneeded symbols
Robust, reasonably high-performance key-value database built on SQLite
🎬 ScreenToGif allows you to record a selected area of your screen, edit and save it as a gif or video.
Book_4_《矩阵力量》 | 鸢尾花书：从加减乘除到机器学习；上架！
A tiny debugger implement the GDB Remote Serial Protocol. Can work on i386, x86_64, ARM and PowerPC.
A mini x86 linux debugger for teaching purposes