Highlights
- Pro
Lists (6)
Stars
🚀从聊天记录创造数字分身的一站式解决方案💡 使用微信聊天记录微调大语言模型，让大模型有“那味儿”，并绑定到聊天机器人，实现自己的数字分身。 数字克隆/数字分身/数字永生/声音克隆/LLM/大语言模型/微信聊天机器人/LoRA
A final sanity checklist to help your CS paper get accepted, not desk rejected.
Template for blueprint-driven formalization projects in Lean.
A project to map out the relations between different equational theories of Magmas.
Rattan is a fast and extensible Internet path emulator framework
Qwen3 is the large language model series developed by Qwen team, Alibaba Cloud.
model-checking / verify-rust-std
Forked from rust-lang/rustVerifying the Rust standard library
Code for loralib, an implementation of "LoRA: Low-Rank Adaptation of Large Language Models"
An IETF quic transport protocol implemented natively using async Rust
A python module to repair invalid JSON from LLMs
A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
“Debian 小药盒”，一个用来包装 Debian 安装介质的盒子设计和介绍用的说明书。
The entrance repository of Markdown presentation ecosystem
2025年春季OS课程Slides\实验指导\思维导图\挑战项目等 https://learningos.github.io/os-lectures/
Chinese voice corpus. 中文语音语料，语音更加清晰自然，包含8个开源数据集，3200个说话人，900小时语音，1300万字。
The official repository of SpeechCraft dataset, a large-scale expressive bilingual speech dataset with natural language descriptions.