LeeHuan
mirthfulLee
A student majoring in software engineering at ZJU.
Languages
Repos
41
Stars
8
Forks
2
Top Language
Rust
Loading contributions...
Top Repositories
vue+Spring Boot for self-made personnel management system
a patched version of RPG (Rust Pool-based fuzz target Generation)
Generate kani harness according to the signature.
Simple Database System implemented with Rust
This is a static analysis project for analyzing Rust programs.
A patched version of RuMono in Artisan-Lab/RULF adapted to Rust 1.81.0-nightly
Repositories
41This is a static analysis project for analyzing Rust programs.
A patched version of RuMono in Artisan-Lab/RULF adapted to Rust 1.81.0-nightly
Provides a mechanism to lay out data into GPU buffers according to WGSL's memory layout rules
Nydus - the Dragonfly image service, providing fast, secure and easy access to container images.
An agentic AI assistant that lives in your Telegram chats, inspired by nanoclaw and incorporating some of its design ideas.
No description provided.
vue+Spring Boot for self-made personnel management system
a patched version of RPG (Rust Pool-based fuzz target Generation)
Generate kani harness according to the signature.
List of research papers of ICSE, FSE, ASE, and ISSTA since 2020.
MirChecker: A Simple Static Analysis Tool for Rust
No description provided.
Regexp based tool for mutating generic source code across numerous languages
Chat Templates for 🤗 HuggingFace Large Language Models
a high-performance, large-capacity, multi-tenant, data-persistent, strong data consistency based on raft, Redis-compatible elastic KV data storage system based on RocksDB
No description provided.
rcore-os Developer Blog
Static Taint analysis for Rust
No description provided.
Simple Database System implemented with Rust
No description provided.
GUI for ChatGPT API and many LLMs. Supports agents, file-based QA, GPT finetuning and query with web search. All with a neat UI.
personal leetcode practice with Rust
Rust 程序设计语言 中文版——Chinese translation of The Rust Programming Language (Book)
Event-driven network library for multi-threaded Linux server in C++11
带有详细注释的 Redis 3.0 代码（annotated Redis 3.0 source code）。
Linux下C++轻量级WebServer服务器
The POCO C++ Libraries are powerful cross-platform C++ libraries for building network- and internet-based applications that run on desktop, server, mobile, IoT, and embedded systems.
export notion page to hexo post
This is a web page introducing SiChuan University using vue.