Pinned Repositories
507waive
Potentially a crawler and visualization.
Admire-ZYH
Everything about the most fake and omniscient person in JI.
AyaseAZelunaCore
https://github.com/AyaseCore/azerothcore-wotlk.git
AzurLaneLive2DExtract
碧蓝航线Live2D提取
blog
My personal blog
CDMA-visualize
A course project of info vis.
chat-with-Elysia
chat-with-Elysia2.0
chat with elysia base on chatGLM and vits without magic
CompCert
The CompCert formally-verified C compiler
sweetsinpackets's Repositories
sweetsinpackets/Admire-ZYH
Everything about the most fake and omniscient person in JI.
sweetsinpackets/blog
My personal blog
sweetsinpackets/CDMA-visualize
A course project of info vis.
sweetsinpackets/chat-with-Elysia
sweetsinpackets/chat-with-Elysia2.0
chat with elysia base on chatGLM and vits without magic
sweetsinpackets/discussion1
sweetsinpackets/discussion5
si509-discussion5
sweetsinpackets/hazel_extraction_history
sweetsinpackets/Hitomi-Downloader
:cake: Desktop utility to download images/videos/music/text from various websites, and more.
sweetsinpackets/homework1
si539, hw1
sweetsinpackets/homework2
SI539-hw2
sweetsinpackets/homework3
si539-hw3
sweetsinpackets/homework4
si539-hw4
sweetsinpackets/homework5
SI539, hw5
sweetsinpackets/homework6
SI539-hw6
sweetsinpackets/homework7
SI539 HW7
sweetsinpackets/hw5-git-practice
sweetsinpackets/kugimiya-rainbow-fart
傲 娇 钉 宫，鞭 写 鞭 骂 - 钉宫理惠 vscode-rainbow-fart 扩展语音包
sweetsinpackets/MDTImport
MDT Import for those who want to continue using nnoga's addon
sweetsinpackets/pathway_finding_verification
Correctness proof of a pathway finding algorithm in Coq.
sweetsinpackets/perennial
Verifying concurrent crash-safe systems
sweetsinpackets/PLGradSchools
sweetsinpackets/portfolio
si539-project
sweetsinpackets/si507_project
SI507 final report
sweetsinpackets/SI630-Project
Assessing Humor in Edited News Headlines with LSTM
sweetsinpackets/SI630-project-post
sweetsinpackets/sweetsinpackets.github.io
personal webpage
sweetsinpackets/syntactic_qualifier_report
sweetsinpackets/Touch-Fish-Fish
摸了！
sweetsinpackets/Waifu2x-Extension-GUI
Image, GIF and Video enlarger/upscaler(super-resolution) achieved with waifu2x-ncnn-vulkan, waifu2x-converter, SRMD-ncnn-Vulkan and Anime4K.