zhangxiyuan's repositories
lean4
Lean 4 programming language and theorem prover
Apache-2.0000
000
Apache-2.0000
Auto-GPT-Plugins
Plugins for Auto-GPT
MIT000
Auto-GPT
An experimental open-source attempt to make GPT-4 fully autonomous.
MIT000
chatgpt_academic
科研工作专用ChatGPT拓展，特别优化学术Paper润色体验，支持自定义快捷按钮，支持自定义函数插件，支持markdown表格显示，Tex公式双显示，代码显示功能完善，新增本地Python/C++/Go项目树剖析功能/项目源代码自译解能力，新增PDF和Word文献批量总结功能/PDF论文全文翻译功能
personal-website-blog
:triangular_ruler: Jekyll theme for building a personal site, blog, project documentation, or portfolio.
MIT000
xiyuan-portfolio.github.io
Repository hosting the code for my personal portfolio website.
Language:PythonUnlicense000
zhangxiyuan-portfolio
Use this template if you need a quick developer / data science portfolio! Based on a Minimal Jekyll theme for GitHub Pages.
Language:HTMLUnlicense000
-MIT-6.S081-Operating-System-Engineering
🎶 MIT 6.S081 Operating System Engineering (Now known as 6.1810)