legendtang's repositories
drrr-socketio-chat
DRRR!! Chat is a WebSocket based Web Messenger just like drrr-like-chat.
padavan-4.4
padavan-4.4
tucao
www.tucao.tv tucao自制第三方ios客户端
ezproxy-db
Database of URLs from institutions using proxy servers, like EZproxy.
google-cn-devsites-extension
A chrome extension for Google devsites in mainland China
qiandao
签到
ACL4SSR
SSR 去广告ACL规则/SS完整GFWList规则/Clash规则碎片,Telegram频道订阅地址
homebrew-souffle
Brew Scripts
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
fusion-scan.github.io
This website collects all bugs/CVE identifiers detected by our static code analysis, Pinpoint and Fusion.
dacapobench
The DaCapo benchmark suite
Unblock163MusicClient-Xposed
Unblock 163 Cloud Music Android client through Xposed.
CVC4-archived
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Padavan-build-k2p-usb-512-5.0
Padavan 自动编译
SVF
Static Value-Flow Analysis Framework for Source Code
rt-n56u
Padavan
llvm
Project moved to: https://github.com/llvm/llvm-project
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
phasar
A LLVM-based static analysis framework.
SSVM
SSVM is a high performance, extensible, and hardware optimized WebAssembly Virtual Machine for cloud, AI, and blockchain applications.
clang
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
clang-static-analyzer-example-out-of-tree
Simple out of tree build setup for the example clang static analyzer plugin,
amqpcpp
rabbitcpp is a C++ library for Message Queue Server RabbitMQ
jtapi-legacy-openshift
OpenShift Twitter API based on Java, a fork from mariotaku:jtapi-legacy
OpenWrt-CI
OpenWrt CI 在线集成自动编译环境
oneindex
Onedrive Directory Index
transmission
Official Transmission BitTorrent client repository