zqy1018

A beginner. A low-level programmer.

???Singapore

Pinned Repositories

artificial_idiot
Notes & toys on AI
Language:C++1 2 01
CAmpactor-the-tool
A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays
Language:C++0 0 00
flp
Formalization of FLP Impossibility Theorem
Language:Coq0 0 00
my_leetcode
A place to store my code for leetcode
Language:C++24 3 14
old_codes_for_OI
A place to keep my code... somehow.
Language:C++0 2 03
OpenLogic
An open-source, customizable intermediate logic textbook
Language:TeX0 0 00
project_EI332
Implementations of labs & quizzes in EI332, SJTU, 2020 Spring
Language:Verilog6 2 00
sjtu_oj_solutions
My solutions for problems on the online judge of SJTU
Language:C++6 2 00
social_practice_with_apollo
Un-official technical documents aimed at helping building Apollo auto-driving system on prototype cars
10 2 01
zqy1018.github.io
Personal blog
Language:HTML1 1 00

zqy1018/my_leetcode
A place to store my code for leetcode
Language:C++24 3 14
zqy1018/social_practice_with_apollo
Un-official technical documents aimed at helping building Apollo auto-driving system on prototype cars
10 2 01
zqy1018/project_EI332
Implementations of labs & quizzes in EI332, SJTU, 2020 Spring
Language:Verilog6 2 00
zqy1018/sjtu_oj_solutions
My solutions for problems on the online judge of SJTU
Language:C++6 2 00
zqy1018/artificial_idiot
Notes & toys on AI
Language:C++1 2 01
zqy1018/zqy1018.github.io
Personal blog
Language:HTML1 1 00
zqy1018/CAmpactor-the-tool
A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays
Language:C++0 0 00
zqy1018/flp
Formalization of FLP Impossibility Theorem
Language:Coq0 0 00
zqy1018/old_codes_for_OI
A place to keep my code... somehow.
Language:C++0 2 03
zqy1018/OpenLogic
An open-source, customizable intermediate logic textbook
Language:TeX0 0 00
zqy1018/problem_set
Some sets of problems
Language:C++0 2 00
zqy1018/PrP_tail_recursion
a PrP project focused on implementing and verifying tail recursions
0 4 00
zqy1018/vscoq
Forked from the original VSCoq project. Try adding some features ...
Language:TypeScript0 0
zqy1018/VST
Verified Software Toolchain
Language:Coq1 0
zqy1018/zqy1018
What do you mean by that?
2 0