Slanterns's repositories
Recursive-Subtyping-for-All
The artifact of the paper "Recursive Subtyping for All"
slack-export
A python slack exporter
hexo-theme-ghost-casper
Ghost Casper v1.1.5 hexo port
rustlings-solution
Solution to rustlings@4.2.0
Anitama-Backup
The backup of Anitama articles
Anitama-Backup-Dev
Resources for Project Anitama-Backup
chicv
Chi CV Template (For Typst)
chinese-copywriting-guidelines
Chinese copywriting guidelines for better written communication/中文文案排版指北
cloudflare-workers-async-google-analytics
:cloud: The Cloudflare Workers implementation of an async Google Analytics
default-boxed
Helper trait to create a boxed instance without going through stack
hexo-theme-seventeen
fork of qiwihui/hexo-theme-seventeen
lngen
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
nCovMemory
2020新冠肺炎记忆:传媒报道与非虚构写作(持续更新)Memory of 2020 nCov: Media reports and Non-fiction Writings (Continuously updating)
ott
The Ott tool for writing definitions of programming languages and calculi
rfcs
RFCs for changes to Rust
THU-coursework-template
THU coursework template, intended user: Mathematics, Physics, Electronic Engineering, Mechanics and Computer Science
typst-preview-vscode
Typst preview extension for VSCode
vscode-vibrancy
Enable Acrylic/Glass effect for your VS Code.
vscoq
A Visual Studio Code extension for Coq [maintainers=@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
web-resume
📄 Display your resume by web. 可以被打印成 PDF 的 Web 简历。