Name: Chentian Wu
Type: User
Company: University of Wisconsin-Madison
Bio: Junior of MATH & CS @UW-Madison
Location: Madison, WI
Blog: https://www.wuct.site
Hi there 👋
Currently I'm learning
500lines
500 Lines or Less
build-your-own-x
Master programming by recreating your favorite technologies from scratch.
burt
BURT: A task-oriented dialogue system for bug reporting
coq2tex
Produce LaTeX code from Coq
dryadsynth
A SyGuS Solver
fok-synth
Implementing the alg in paper "Learning Formula in Finite Variable Logics"
gem-reproduction
The reproduction of Gradient Episodic Memory in Continual Learning
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-473
Papers for MATH 473 @ UW-Madison (24 Spring)
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
moss-python
A possible implementation of MOSS algorithm in Python
nju-hr
南京大学app自动每日健康打卡
obsidian-automation
实现了mac系统上每日自动向Obsidian中填写今日代办（数据从calendar📅和weather☁️中获取）
onedrive-vercel-index
OneDrive public directory listing, powered by Vercel and Next.js
recdroid
An android bug reproduce tool
rep-flow
A possible implementation of paper "Towards Effective Bug Reproduction for Mobile Applications"
toshokan
Bootstrapping Library-Based Synthesis
transferwiki
A Wiki for students who want to transfer to another university
wuc9521
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
