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.

Language:RustLicense:Apache-2.0Stargazers:4051Issues:0Issues:0
Stargazers:1Issues:0Issues:0

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.

Language:ShellLicense:MITStargazers:171287Issues:0Issues:0

minicov

Code coverage support for Rust `no_std` and embedded programs

Language:CLicense:Apache-2.0Stargazers:48Issues:0Issues:0

hermit-rs

Hermit for Rust.

Language:RustLicense:Apache-2.0Stargazers:1636Issues:0Issues:0

awesome-symbolic-execution

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

License:CC0-1.0Stargazers:1288Issues:0Issues:0

Triton

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

Language:C++License:Apache-2.0Stargazers:3414Issues:0Issues:0

rust-verification-tools

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

Language:RustLicense:Apache-2.0Stargazers:273Issues:0Issues:0

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.

Language:RustLicense:MITStargazers:13089Issues:0Issues:0

td-shim

Confidential Containers Shim Firmware

Language:RustLicense:NOASSERTIONStargazers:88Issues:0Issues:0

CheatSheetSeries

The OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.

Language:PythonLicense:CC-BY-SA-4.0Stargazers:27242Issues:0Issues:0
Stargazers:76Issues:0Issues:0

OperatingSystem

my homebrew OS

Language:CStargazers:31Issues:0Issues:0

aleph-os

The Aleph Operating System

Language:RustLicense:MPL-2.0Stargazers:1Issues:0Issues:0

rustls

A modern TLS library in Rust

Language:RustLicense:NOASSERTIONStargazers:5757Issues:0Issues:0

cryptocoding

Guidelines for low-level cryptography software

Stargazers:1089Issues:0Issues:0

filebrowser

📂 Web File Browser

Language:GoLicense:Apache-2.0Stargazers:25073Issues:0Issues:0

smoltcp

a smol tcp/ip stack

Language:RustLicense:0BSDStargazers:3672Issues:0Issues:0
Language:CLicense:BSD-3-ClauseStargazers:93Issues:0Issues:0

gfwlist2pac

Automatically convert gfwlist to pac everyday

Language:JavaScriptStargazers:1560Issues:0Issues:0

Tvlist-awesome-m3u-m3u8

直播源相关资源汇总 📺 💯 IPTV、M3U —— 勤洗手、戴口罩,祝愿所有人百毒不侵

Stargazers:25781Issues:0Issues:0

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:175521Issues:0Issues:0

onefetch

Command-line Git information tool

Language:RustLicense:MITStargazers:9531Issues:0Issues:0

torokernel

This repository contains the source code of toro unikernel

Language:PascalLicense:GPL-3.0Stargazers:149Issues:0Issues:0

opensbi

RISC-V Open Source Supervisor Binary Interface

Language:CLicense:NOASSERTIONStargazers:961Issues:0Issues:0

rustsbi

RISC-V Supervisor Binary Interface (RISC-V SBI) library in Rust; runs on M or HS mode; good support for embedded Rust ecosystem. For binary download see https://github.com/rustsbi/prototyper.

Language:RustLicense:MITStargazers:967Issues:0Issues:0

scroll

Scroll - making scrolling through buffers fun since 2016

Language:RustLicense:MITStargazers:151Issues:0Issues:0

rust-cookbook

https://rust-lang-nursery.github.io/rust-cookbook

Language:ShellLicense:CC0-1.0Stargazers:2238Issues:0Issues:0

rust-cookbook-zh

🇨🇳翻译: <rust-cookbook> Rust 生态系统 crate包的良好实践合集 ❤️ 校对 ✅

Language:JavaScriptLicense:CC0-1.0Stargazers:104Issues:0Issues:0

slimbootloader

Visit http://slimbootloader.github.io for documentation

Language:CLicense:NOASSERTIONStargazers:365Issues:0Issues:0