Salmooo's repositories
acl2
ACL2 System and Books as Maintained by the Community
Language:Common LispNOASSERTION000
alist
🗂️A file list program that supports multiple storage, powered by Gin and Solidjs. / 一个支持多存储的文件列表程序,使用 Gin 和 Solidjs。
Language:GoAGPL-3.0000
Emerging_IT
EIT
Language:CSS000
moonlight-qt
GameStream client for PCs (Windows, Mac, Linux, and Steam Link)
Language:C++GPL-3.0000
Language:HTML000
anbox
Anbox is a container-based approach to boot a full Android system on a regular GNU/Linux system
GPL-3.0000
anbox-modules
Anbox kernel modules
000
Language:HTML000
Blog
博客部署站点
Language:CSS000
Cpp_Primer_Practice
搞定C++:punch:。C++ Primer 中文版第5版学习仓库,包括笔记和课后练习答案。
000
Database-principle-project-by-group-YK-CYX-XSM-YXM-
Used to exchange course assignments of Database Principles
000
000
000
Hello-world
It is just created for beginner.
000
NOASSERTION000
llvm-ir-tutorial
LLVM IR入门学习
CC-BY-4.0000
PyMySQL
Pure Python MySQL Client
MIT000
rust
Empowering everyone to build reliable and efficient software.
NOASSERTION000
trilium
Build your personal knowledge base with Trilium Notes
AGPL-3.0000
XiangShan
Open-source high-performance RISC-V processor
NOASSERTION000