Qiyuan Zhao's repositories
my_leetcode
A place to store my code for leetcode
social_practice_with_apollo
Un-official technical documents aimed at helping building Apollo auto-driving system on prototype cars
project_EI332
Implementations of labs & quizzes in EI332, SJTU, 2020 Spring
sjtu_oj_solutions
My solutions for problems on the online judge of SJTU
artificial_idiot
Notes & toys on AI
zqy1018.github.io
Personal blog
CAmpactor-the-tool
A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays
Language:C++GPL-3.0000
flp
Formalization of FLP Impossibility Theorem
Language:Coq000
old_codes_for_OI
A place to keep my code... somehow.
OpenLogic
An open-source, customizable intermediate logic textbook
Language:TeXCC-BY-4.0000
problem_set
Some sets of problems
PrP_tail_recursion
a PrP project focused on implementing and verifying tail recursions
vscoq
Forked from the original VSCoq project. Try adding some features ...
Language:TypeScriptMIT000