Sshwy's Projects
Try everying to define mathematical objects and proof theorems in agda
Generate releases based on semantic version labels on pull requests.
An awesome README template to jumpstart your projects!
Backend of clapping project
Frontend of the clapping project
Translation of http://e-maxx.ru into English
B站视频极速批量下载器|The fastest Bilibili video downloader
The one and only one gfwlist here
Unpretentious, functional and darkmode featured theme for Hexo.
Yet another Hexo plugin to enable awesome Webpack package system in your Hexo site.
Engine for web visual novel (prototype stage)
Online judge sandbox based on seccomp | OnlineJudge 安全沙箱
A markdown (kramdown compatible) parser and compiler. Built for speed. Built for theme essence
An implementation and tutorial for Lambda Calculus in Rust
LuoguPaintBoard2019
A linux typing trainer like DOS TT(Maybe)
CommonMark compliant markdown parser in Rust with ASTs and extensions
📝A simple and elegant markdown editor, available for Linux, macOS and Windows.
Academic Presentation Slides with Marp
使用 Marp 制作清华大学组会 Slides模板
PKU Mirror Frontend
a spider for downloading songs and lyrics from netease cloud music
NOCS pytorch reimplementation using detectron2