🎯
Focusing
Member @UniqueStudio @Unique-Lab | Intern @intellistream |
Competitive Programmer, ICPC 🥈 Medalist |
3rd year @ Turing Class, HUST CS
-
Huazhong University of Science and Technology
- Wuhan, China
-
10:16
(UTC +08:00) - leixy2004.github.io
- https://orcid.org/0009-0000-8552-8135
Highlights
- Pro
-
-
-
-
minnow-winter-2025 Public
Forked from HT4w5/minnow-winter-2025Archive of starter code repository of Stanford CS144 winter 2025 labs. Please DO NOT post your solutions publicly.
C++ UpdatedJul 13, 2025 -
logisim-evolution Public
Forked from logisim-evolution/logisim-evolutionDigital logic design tool and simulator
Java GNU General Public License v3.0 UpdatedJun 10, 2025 -
-
IP-DiskANN Public
Forked from microsoft/DiskANN(undone) UNOFFICIAL implementation of IP-DiskANN: Graph-structured Indices for Scalable, Fast, Fresh and Filtered Approximate Nearest Neighbor Search
-
bustub Public
Forked from cmu-db/bustubThe BusTub Relational Database Management System (Educational)
C++ MIT License UpdatedMay 13, 2025 -
-
-
OI-wiki Public
Forked from OI-wiki/OI-wiki🌟 Wiki of OI / ICPC for everyone. (某大型游戏线上攻略,内含炫酷算术魔法)
TypeScript UpdatedMar 2, 2025 -
CANDY-Benchmark Public
Forked from intellistream/CANDOR-BenchmarkC++ Apache License 2.0 UpdatedFeb 26, 2025 -
-
-
-
-
-
-
-
-
OI-Utility Public
Forked from StarryReverie/OI-UtilitySome useful utilities in OI in C++.
C++ GNU Lesser General Public License v3.0 UpdatedOct 19, 2021


