A beginner.
一个萌新。热爱摸鱼。
- my_leetcode: Personal Leetcode problem set. 个人 Leetcode 摸鱼合集。
- To be updated ... 等待更新 ...
Name: Qiyuan Zhao
Type: User
Bio: A beginner. A low-level programmer.
Twitter: zqy1018
Location: Singapore
Blog: zqy1018.top
A beginner.
一个萌新。热爱摸鱼。
Notes & toys on AI
A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays
Formalization of FLP Impossibility Theorem
A place to store my code for leetcode
A place to keep my code... somehow.
An open-source, customizable intermediate logic textbook
Some sets of problems
Implementations of labs & quizzes in EI332, SJTU, 2020 Spring
a PrP project focused on implementing and verifying tail recursions
My solutions for problems on the online judge of SJTU
Un-official technical documents aimed at helping building Apollo auto-driving system on prototype cars
Forked from the original VSCoq project. Try adding some features ...
Verified Software Toolchain
What do you mean by that?
Personal blog
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 is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
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.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.