Lumm-8's Stars
stp/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
klee/klee
KLEE Symbolic Execution Engine
karpathy/LLM101n
LLM101n: Let's build a Storyteller
balloonwj/CppGuide
C/C++学习,后端开发进阶指南。
ucaslcl/Fox
official code for "Fox: Focus Anywhere for Fine-grained Multi-page Document Understanding"
Evian-Zhang/llvm-ir-tutorial
LLVM IR入门指南
THUDM/CodeGeeX
CodeGeeX: An Open Multilingual Code Generation Model (KDD 2023)
aixcoder-plugin/aiXcoder-7B
official repository of aiXcoder-7B Code Large Language Model
ruanyf/weekly
科技爱好者周刊,每周五发布
hpcaitech/Open-Sora
Open-Sora: Democratizing Efficient Video Production for All
xai-org/grok-1
Grok open release
SinaKarvandi/Hypervisor-From-Scratch
Source code of a multiple series of tutorials about the hypervisor. Available at: https://rayanfam.com/tutorials
moudey/Shell
Powerful context menu manager for Windows File Explorer
pybind/pybind11
Seamless operability between C++11 and Python
oceanbase/miniob
MiniOB is a compact database that assists developers in understanding the fundamental workings of a database.
jianchang512/pyvideotrans
Translate the video from one language to another and add dubbing. 将视频从一种语言翻译为另一种语言,同时支持语音识别转录、语音合成、字幕翻译。
isno/theByteBook
⭐ 【开源书籍】深入讲解内核网络、Kubernetes、ServiceMesh、容器等云原生相关技术。经历实践检验的 DevOps、SRE指南。如发现错误,谢谢提issue
practical-tutorials/project-based-learning
Curated list of project-based tutorials
dunwu/nginx-tutorial
这是一个 Nginx 极简教程,目的在于帮助新手快速入门 Nginx。
hackclub/putting-the-you-in-cpu
A technical explainer by @kognise of how your computer runs programs, from start to finish.
Abeautifulsnow/navicat-premium-crack
This script is used to crack navicat premium application for another 14 days trial.(14天再次重置)
ZhangBohan/http-api-design-ZH_CN
HTTP API 设计指南(http-api-design-ZH_CN),翻译自https://github.com/interagent/http-api-design
qinguoyi/TinyWebServer
:fire: Linux下C++轻量级WebServer服务器
martin-yin/flutter-talk
一个社交app(没接后端数据的社交~)