FANYI ZHAO's repositories
algs4
Algorithms, 4th edition textbook code and libraries
Anchor-Verifier
Clone of Anchor Verifier website (For learning purposes only)
AutoGPT
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
c-plus-plus-essential-training
C++ Essential Training
CornellCSWiki
Student-run wiki for students interested in computer science at Cornell University
formal-verification
Formal verification tools and examples.
solang
Solidity Compiler for Solana and Polkadot
fanyi-zhao
Config files for my GitHub profile.
go-gin-example
An example of gin
homepage
Personal homepage
it-cert-automation-practice
Google IT Automation with Python Professional Certificate - Practice files
Kaleidoscope
My First Language Frontend with LLVM Tutorial
kubernetes
Production-Grade Container Scheduling and Management
kubernetes-handbook
Kubernetes中文指南/云原生应用架构实践手册 - https://jimmysong.io/kubernetes-handbook
pinduoduo_backdoor
拼多多apk内嵌提权代码，及动态下发dex分析
redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.
SequencePlugin
SequencePlugin for IntelliJ IDEA
veracity
Veracity compiler for programming with commutativity