Pinned Repositories
Bookstore-2021
书店管理系统 - SJTU ACM班 2021级 程序设计课程大作业
cnblogs-theme-silence
:fire: 一款专注于阅读的博客园主题
gfs
linear-algebra-textbook
线性代数课本重制计划
MathJax_Tutorial_CN
完备的LaTeX公式中文手册（MathJax环境下）
Mx-Compiler
OS2023-Practices
ACM Class Operating Systems Course Practices, Year 2023
RV32I-CPU
UnicodeMath_Tutorial_CN
vscode-markdown-theme
1024th's Repositories
1024th/MathJax_Tutorial_CN
完备的LaTeX公式中文手册（MathJax环境下）
1024th/linear-algebra-textbook
线性代数课本重制计划
1024th/RV32I-CPU
1024th/Bookstore-2021
书店管理系统 - SJTU ACM班 2021级 程序设计课程大作业
1024th/gfs
1024th/Mx-Compiler
1024th/OS2023-Practices
ACM Class Operating Systems Course Practices, Year 2023
1024th/Arch2022-Notes
1024th/bhcexam
The BHCexam document class attempts to make it easy for even a LaTeX novice to prepare exams.
1024th/blog-giscus
1024th/cliphist
wayland clipboard manager with support for multimedia
1024th/Clover
Clover: Closed-Loop Verifiable Code Generation
1024th/CPU-FPGA
1024th/DafnyBench
I'm really gonna translate HumanEval this time. Y'all haven't seen nothing yet.
1024th/DHT
Distributed Hash Table - PPCA 2022
1024th/docs
Site for AstroNvim
1024th/hugo-theme-pure
A pure theme for Hugo
1024th/Mx-Compiler-test
1024th/os-2023-notes
1024th/Python-Assignment-2021
SJTU-ACM Programming 2021 assignment 2 (A-Class) , a toy Python3 Interpreter.
1024th/RV32I-Simulator
1024th/sglang
SGLang is a structured generation language designed for large language models (LLMs). It makes your interaction with models faster and more controllable.
1024th/sphinx-pages
Build html documentation by Sphinx, and push to branch gh-pages.
1024th/Tampermonkey-JS
自用的各种油猴脚本
1024th/test-sphinx
1024th/test_buddy
1024th/test_malloc
1024th/vitepress
Vite & Vue powered static site generator.
1024th/vscode-OJ-format
VSCode 插件，OJ 题目排版工具
1024th/writecnblog
write with cnbolg