友链

Yuhao's Blog
若有相逢应一笑…
wangyuhao.art
Inori - Yuzuriha
一川烟草 满城风絮…
inori-asuka.cc

网站

专业相关

quiver
无敌LaTeX绘图工具
q.uiver.app
Index
Mathlib定理库
leanprover-community.github.io
Loogle!
Mathlib定理库查询
loogle.lean-lang.org
Mathlib Manual
Tactic查询
leanprover-community.github.io
Mathlib4 Help
Lean指令查询
seasawher.github.io
Mathlib4 Search
Mathlib自然语言检索
leansearch.net
Lean - Zulip
Lean社区
leanprover.zulipchat.com
Index
The Stacks project
stacks.math.columbia.edu
GeoGebra
画图
geogebra.org
zbMATH
找论文
zbmath.org
MathSciNet
找论文
mathscinet.ams.org

素材库

萌绘
素材图库
moehui.com
HDRi Haven
HDRi素材库
hdri-haven.com
Poly Haven
3D资产素材库
polyhaven.com
VCB-Studio
番剧压制组
vcb-s.com

工具类

ITDOG
网站拨测
itdog.cn
阿里云运维平台
网站拨测
boce.aliyun.com
VirusTotal
网安工具
virustotal.com
SPACEDJ
网易云音乐破解
ncm.spacedj.cn
ArchiveWeb
网页存档
archiveweb.page
PageSpeed Insights
网页性能分析
pagespeed.web.dev
Pingdom
网页性能分析
tools.pingdom.com
GTmetrix
网页性能分析
gtmetrix.com
DebugBear
网页性能分析
debugbear.com
SSL Server Test
SSL/TLS分析
ssllabs.com
亚数信息
SSL/TLS分析
myssl.com

其它

Guerrilla Mail
匿名邮箱
guerrillamail.com
AutoDL
AI训练服务器
autodl.com
AlternativeTo
查找软件替代
alternativeto.net
Gitpod
云IDE
gitpod.io

软件

工具类

Okular
PDF阅读器
okular.kde.org
WizTree
储存占用可视化
diskanalyzer.com
ImHex
十六进制编辑
github.com
WinMerge
文件差分合并
winmerge.org
PuTTY
SSH客户端
putty.org
WinSCP
FTP客户端
winscp.net
EndNote
文献管理
support.clarivate.com
图吧工具箱
硬件检测
tbtool.cn
Crystal Disk
硬盘
crystalmark.info
BitComet
磁链
bitcomet.com
qBittorrent
磁链
qbittorrent.org
lastactivityview
查看Windows操作记录
nirsoft.net
Rufus
启动盘制作
rufus.ie
v2rayN
VPN
github.com
JiJiDown
BiliBili下载
client.jijidown.com
Stellarium
天文台
stellarium.org

媒体

DaVinci Resolve
音视频制作
blackmagicdesign.com
Blender
3D
blender.org
darktable
图库管理
darktable.org
GIMP
图片编辑
gimp.org
InkScape
矢量图编辑
inkscape.org
foobar2000
.ogg .wem播放
插件
foobar2000.org
mpv
播放器，教程
mpv.io
Waifu2x-Extension
视频图片超分
github.com
untrunc
修复受损mp4, mov
github.com
ImageGlass
图片
imageglass.org