Stars
a lightweight, robust, scheme-like lisp implementation
A rewrite of the old legacy software "depends.exe" in C# for Windows devs to troubleshoot dll load dependencies issues.
Windows Precision Touchpad Driver Implementation for Apple MacBook / Magic Trackpad
Fetch and install Boot Camp ESDs with ease.
A fast and flexible c++ template class for tree data structures
一款轻量级、高性能、功能强大的内网穿透代理服务器。支持tcp、udp、socks5、http等几乎所有流量转发,可用来访问内网网站、本地支付接口调试、ssh访问、远程桌面,内网dns解析、内网socks5代理等等……,并带有功能强大的web管理端。a lightweight, high-performance, powerful intranet penetration proxy serv…
An engine for symbolic manipulation and numeric evaluation of math formulas expressed with MathJSON
Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.
A V2Ray client for Android, support Xray core and v2fly core
Solving the game of Go by analyzing the game tree.
ZFS Automatic Snapshot Service for Linux
A GUI client for Windows, Linux and macOS, support Xray and sing-box and others
A platform for building proxies to bypass network restrictions.
Diff Match Patch is a high-performance library in multiple languages that manipulates plain text.
Invert scroll direction for physical scroll wheels while maintaining "Natural" scrolling for trackpads on MacOS
Symbolic expressions, rewriting and simplification