Pinned Repositories
500lines
500 Lines or Less
erdos-rado-thm
A presentation of Erdős–Rado Theorem
LibContinual-GEM
Coursework (GEM, LCL8) of Introduction to Machine Learning, Software Institute, Nanjng University
LLM-2023-arxiv
Course Lab of "Principles and Applications of Large Language Models" (NJUSE@2023)
MATH-125A
Course notes for UCB MATH 125A (Introduction to Mathematical Logic)
MATH-475
Course Notes for MATH 475: Introduction to Combinatorics @ UW-Madison (2024 Spring)
MATH-521
MATH 521: Analysis I @ UW-Madison (2024 Spring)
Mathematical-Logic-2023
Mathematical Logic course mid-term reading report, Software Institute, Nanjing University
obsidian-automation
实现了mac系统上每日自动向Obsidian中填写今日代办（数据从calendar📅和weather☁️中获取）
rep-flow
A possible implementation of paper "Towards Effective Bug Reproduction for Mobile Applications"
wuc9521's Repositories
wuc9521/rep-flow
A possible implementation of paper "Towards Effective Bug Reproduction for Mobile Applications"
wuc9521/MATH-521
MATH 521: Analysis I @ UW-Madison (2024 Spring)
wuc9521/Mathematical-Logic-2023
Mathematical Logic course mid-term reading report, Software Institute, Nanjing University
wuc9521/LibContinual-GEM
Coursework (GEM, LCL8) of Introduction to Machine Learning, Software Institute, Nanjng University
wuc9521/LLM-2023-arxiv
Course Lab of "Principles and Applications of Large Language Models" (NJUSE@2023)
wuc9521/MATH-125A
Course notes for UCB MATH 125A (Introduction to Mathematical Logic)
wuc9521/MATH-475
Course Notes for MATH 475: Introduction to Combinatorics @ UW-Madison (2024 Spring)
wuc9521/500lines
500 Lines or Less
wuc9521/obsidian-automation
实现了mac系统上每日自动向Obsidian中填写今日代办（数据从calendar📅和weather☁️中获取）
wuc9521/TransferWiki
A Wiki for students who want to transfer to another university
wuc9521/build-your-own-x
Master programming by recreating your favorite technologies from scratch.
wuc9521/burt
BURT: A task-oriented dialogue system for bug reporting
wuc9521/coq2tex
Produce LaTeX code from Coq
wuc9521/erdos-rado-thm
A presentation of Erdős–Rado Theorem
wuc9521/GEM-reproduction
The reproduction of Gradient Episodic Memory in Continual Learning
wuc9521/bf-jit
A TS implementation of a simple Brainf**k JIT compiler
wuc9521/CS-564
Course Materials for UW-Madison CS 564 (Database Management Systems: Design and Implementation)
wuc9521/CS-564-B-plus-tree
Project 3 for CS 564 @ UW-Madison (2024 Summer)
wuc9521/CS-scholars-backend
Backend for CS 564 project in UW-Madison
wuc9521/CS-scholars-report
Final report for CS 564 final project using Typst
wuc9521/DryadSynth
A SyGuS Solver
wuc9521/MATH-473
Papers for MATH 473 @ UW-Madison (24 Spring)
wuc9521/MATH-541
Course materials for MATH 541: Abstract Algebra I @ UW-Madison (2024 Fall)
wuc9521/MATH-551
Course materials for MATH 551: General Topology @ UW-Madison (2024 Fall)
wuc9521/moss-python
A possible implementation of MOSS algorithm in Python
wuc9521/NJU-HR
南京大学app自动每日健康打卡
wuc9521/onedrive-vercel-index
OneDrive public directory listing, powered by Vercel and Next.js
wuc9521/ReCDroid
An android bug reproduce tool
wuc9521/Toshokan
Bootstrapping Library-Based Synthesis
wuc9521/wuc9521