Pinned Repositories
typst-preview
[DEPRECATED] Use tinymist instead
hexo-theme-ghost-casper
Ghost Casper v1.1.5 hexo port
Recursive-Subtyping-for-All
The artifact of the paper "Recursive Subtyping for All"
slack-export
A python slack exporter
slanterns's Repositories
slanterns/Recursive-Subtyping-for-All
The artifact of the paper "Recursive Subtyping for All"
slanterns/slack-export
A python slack exporter
slanterns/hexo-theme-ghost-casper
Ghost Casper v1.1.5 hexo port
slanterns/rustlings-solution
Solution to rustlings@4.2.0
slanterns/Anitama-Backup
The backup of Anitama articles
slanterns/Anitama-Backup-Dev
Resources for Project Anitama-Backup
slanterns/bzojdata
slanterns/chicv
Chi CV Template (For Typst)
slanterns/chinese-copywriting-guidelines
Chinese copywriting guidelines for better written communication/中文文案排版指北
slanterns/cloudflare-workers-async-google-analytics
:cloud: The Cloudflare Workers implementation of an async Google Analytics
slanterns/crates.io-indexEOEO
Registry index for crates.io
slanterns/default-boxed
Helper trait to create a boxed instance without going through stack
slanterns/flowerhd
花!
slanterns/GetZHZX
Zhejiang-Senior-High-Schools-themed 2048 clone
slanterns/gfwlist
The one and only one gfwlist here
slanterns/hexo-theme-seventeen
fork of qiwihui/hexo-theme-seventeen
slanterns/lngen
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
slanterns/nCovMemory
2020新冠肺炎记忆:传媒报道与非虚构写作(持续更新)Memory of 2020 nCov: Media reports and Non-fiction Writings (Continuously updating)
slanterns/OI-wiki
:star2: Wiki of OI / ICPC for everyone. (某大型游戏线上攻略,内含炫酷算术魔法)
slanterns/ott
The Ott tool for writing definitions of programming languages and calculi
slanterns/rCore
Rust version of THU uCore OS. Linux compatible.
slanterns/reference
The Rust Reference
slanterns/resume-1
An elegant \LaTeX\ résumé template. 大陆镜像 https://gods.coding.net/p/resume/git
slanterns/rfcs
RFCs for changes to Rust
slanterns/rust
Empowering everyone to build reliable and efficient software.
slanterns/THU-coursework-template
THU coursework template, intended user: Mathematics, Physics, Electronic Engineering, Mechanics and Computer Science
slanterns/typst-preview-vscode
Typst preview extension for VSCode
slanterns/vscode-vibrancy
Enable Acrylic/Glass effect for your VS Code.
slanterns/vscoq
A Visual Studio Code extension for Coq [maintainers=@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
slanterns/web-resume
📄 Display your resume by web. 可以被打印成 PDF 的 Web 简历。