zhangxiyuan's repositories
-MIT-6.S081-Operating-System-Engineering
🎶 MIT 6.S081 Operating System Engineering (Now known as 6.1810)
chatgpt_academic
科研工作专用ChatGPT拓展,特别优化学术Paper润色体验,支持自定义快捷按钮,支持自定义函数插件,支持markdown表格显示,Tex公式双显示,代码显示功能完善,新增本地Python/C++/Go项目树剖析功能/项目源代码自译解能力,新增PDF和Word文献批量总结功能/PDF论文全文翻译功能
Auto-GPT
An experimental open-source attempt to make GPT-4 fully autonomous.
Language:PythonMIT000
Auto-GPT-Plugins
Plugins for Auto-GPT
Language:PythonMIT000
000
lean4
Lean 4 programming language and theorem prover
Language:LeanApache-2.0000
personal-website-blog
:triangular_ruler: Jekyll theme for building a personal site, blog, project documentation, or portfolio.
Language:HTMLMIT000
Language:Jupyter NotebookApache-2.0000
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