Lu Xiaoyu's starred repositories
greptimedb
An Open-Source, Cloud-Native, Unified Time Series Database for Metrics, Logs and Events with SQL/PromQL supported. Available on GreptimeCloud.
ohmyzsh
🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
static-analysis
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
CheatSheetSeries
The OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.
OperatingSystem
my homebrew OS
cryptocoding
Guidelines for low-level cryptography software
filebrowser
📂 Web File Browser
gfwlist2pac
Automatically convert gfwlist to pac everyday
Tvlist-awesome-m3u-m3u8
直播源相关资源汇总 📺 💯 IPTV、M3U —— 勤洗手、戴口罩,祝愿所有人百毒不侵
torokernel
This repository contains the source code of toro unikernel
rust-cookbook
https://rust-lang-nursery.github.io/rust-cookbook
rust-cookbook-zh
🇨🇳翻译: <rust-cookbook> Rust 生态系统 crate包的良好实践合集 ❤️ 校对 ✅
slimbootloader
Visit http://slimbootloader.github.io for documentation