xiyuan1avery
Follow
-
-
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedOct 28, 2023 -
-
practical-ml-vision-book Public
Forked from GoogleCloudPlatform/practical-ml-vision-bookJupyter Notebook Apache License 2.0 UpdatedMay 16, 2023 -
Auto-GPT-Plugins Public
Forked from Significant-Gravitas/Auto-GPT-PluginsPlugins for Auto-GPT
Python MIT License UpdatedApr 23, 2023 -
Auto-GPT Public
Forked from Significant-Gravitas/AutoGPTAn experimental open-source attempt to make GPT-4 fully autonomous.
Python MIT License UpdatedApr 16, 2023 -
chatgpt_academic Public
Forked from binary-husky/gpt_academic科研工作专用ChatGPT拓展，特别优化学术Paper润色体验，支持自定义快捷按钮，支持自定义函数插件，支持markdown表格显示，Tex公式双显示，代码显示功能完善，新增本地Python/C++/Go项目树剖析功能/项目源代码自译解能力，新增PDF和Word文献批量总结功能/PDF论文全文翻译功能
-
personal-website-blog Public
Forked from mmistakes/minimal-mistakes📐 Jekyll theme for building a personal site, blog, project documentation, or portfolio.
HTML MIT License UpdatedApr 7, 2023 -
xiyuan-portfolio.github.io Public
Forked from mattschapman/mattschapman.github.ioRepository hosting the code for my personal portfolio website.
Python The Unlicense UpdatedApr 2, 2023 -
zhangxiyuan-portfolio Public template
Forked from evanca/quick-portfolioUse this template if you need a quick developer / data science portfolio! Based on a Minimal Jekyll theme for GitHub Pages.
HTML The Unlicense UpdatedApr 2, 2023 -
-MIT-6.S081-Operating-System-Engineering Public
Forked from yaruwangway/6.S081🎶 MIT 6.S081 Operating System Engineering (Now known as 6.1810)