liyishuai
PhD'22 @plclub @DeepSpec; Maintainer @coq-community @ocaml-community; Editor @Coq-zh; Contributor @coq.
@AlibabaShanghai
liyishuai's Stars
binary-husky/gpt_academic
为GPT/GLM等LLM大语言模型提供实用化交互接口,特别优化论文阅读/润色/写作体验,模块化设计,支持自定义快捷按钮&函数插件,支持Python和C++等项目剖析&自译解功能,PDF/LaTex论文翻译&总结功能,支持并行问询多种LLM模型,支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, moss等。
PlexPt/awesome-chatgpt-prompts-zh
ChatGPT 中文调教指南。各种场景使用指南。学习怎么让它听你的话。
THUDM/ChatGLM2-6B
ChatGLM2-6B: An Open Bilingual Chat LLM | 开源双语对话语言模型
GaiZhenbiao/ChuanhuChatGPT
GUI for ChatGPT API and many LLMs. Supports agents, file-based QA, GPT finetuning and query with web search. All with a neat UI.
Caldis/Mos
一个用于在 macOS 上平滑你的鼠标滚动效果或单独设置滚动方向的小工具, 让你的滚轮爽如触控板 | A lightweight tool used to smooth scrolling and set scroll direction independently for your mouse on macOS
ShiArthur03/ShiArthur03
XIU2/UserScript
🐵 自用的一些乱七八糟 油猴脚本~
0voice/expert_readed_books
2021年最新总结,推荐工程师合适读本,计算机科学,软件技术,创业,思想类,数学类,人物传记书籍
jinzhu/copier
Copier for golang, copy value from struct to struct and more
binpash/try
Inspect a command's effects before modifying your live system
qw3rtman/git-fire
:fire: Save Your Code in an Emergency
apache/singa
a distributed deep learning platform
gaoyifan/china-operator-ip
**运营商IPv4/IPv6地址库-每日更新
MlgmXyysd/Xiaomi-HyperOS-BootLoader-Bypass
A PoC that exploits a vulnerability to bypass the Xiaomi HyperOS community restrictions of BootLoader unlocked account bindings.
itorr/sakana
🐟「Sakana!」石蒜模拟器
hashicorp/go-retryablehttp
Retryable HTTP client in Go
fire-keeper/BlindWatermark
使用盲水印保护创作者的知识产权using invisible watermark to protect creator's intellectual property
Hentioe/policr-mini
专注于验证的 Telegram 机器人
Equim-chan/mjai-reviewer
🔍🀄️ Review mahjong game log with mjai-compatible mahjong AI.
entr0pia/SwitchyOmega-Whitelist
**大陆域名, SwitchyOmega 白名单规则, 自动更新
efficient/epaxos
pluwen/china-domain-allowlist
常用**网站白名单,纯列表,用于 SwitchyOmega,控制不走代理的网站。
the3dfxdude/7kaa
Seven Kingdoms: Ancient Adversaries - Go to the main source repository at https://sourceforge.net/projects/skfans/ for source code and builds
uwplse/verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
TheAirBlow/HyperSploit
Bypassed HyperOS restrictions on bootloader unlocking
zzh1996/chatgpt-telegram-bot
ChatGPT Telegram bot
taoky/icpcstrap
ICPC 2023 合肥站选手机器镜像制作脚本
saveweb/general-writing-laws
多语言、领域混编,模块化的书写规范。
Victorwz/LaViA
kad99kev/PyBoxCar
BoxCar2D implementation in Python.