司南 Navigator

2024-10-29 暂无评论

友链

[friend-card name=“Yuhao’s Blog” ico=“https://wangyuhao.art/static/img/898d29a32bf918328abcf59ed88abe5a.IMG_9800.webp” url=“https://wangyuhao.art/“]若有相逢应一笑…[/friend-card] [friend-card name=“Inori - Yuzuriha” ico=“https://s2.loli.net/2024/11/29/sGxFwYn4IpByAEi.webp” url=“https://inori-asuka.cc/“]一川烟草满城风絮…[/friend-card]

网站

专业相关

[friend-card name=“quiver” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://q.uiver.app/“]无敌LaTeX绘图工具[/friend-card] [friend-card name=“Index” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://leanprover-community.github.io/mathlib4_docs/“]Mathlib定理库[/friend-card] [friend-card name=“Loogle!” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://loogle.lean-lang.org/“]Mathlib定理库查询[/friend-card] [friend-card name=“Mathlib Manual” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://leanprover-community.github.io/mathlib-manual/html-multi/“]Tactic查询[/friend-card] [friend-card name=“Mathlib4 Help” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://seasawher.github.io/mathlib4-help/“]Lean指令查询[/friend-card] [friend-card name=“Mathlib4 Search” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://leansearch.net/“]Mathlib自然语言检索[/friend-card] [friend-card name=“Lean - Zulip” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://leanprover.zulipchat.com/“]Lean社区[/friend-card] [friend-card name=“Index” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://stacks.math.columbia.edu/“]The Stacks project[/friend-card] [friend-card name=“GeoGebra” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://www.geogebra.org/“]画图[/friend-card] [friend-card name=“zbMATH” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://zbmath.org/“]找论文[/friend-card] [friend-card name=“MathSciNet” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://mathscinet.ams.org/mathscinet/publications-search”]找论文[/friend-card]

素材库

[friend-card name=“萌绘” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://www.moehui.com/“]素材图库[/friend-card] [friend-card name=“HDRi Haven” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://hdri-haven.com/“]HDRi素材库[/friend-card] [friend-card name=“Poly Haven” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://polyhaven.com/“]3D资产素材库[/friend-card] [friend-card name=“VCB-Studio” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://vcb-s.com/“]番剧压制组[/friend-card]

工具类

[friend-card name=“ITDOG” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://www.itdog.cn/“]网站拨测[/friend-card] [friend-card name=“阿里云运维平台” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://boce.aliyun.com/“]网站拨测[/friend-card] [friend-card name=“VirusTotal” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://www.virustotal.com/gui/home/upload”]网安工具[/friend-card] [friend-card name=“SPACEDJ” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://ncm.spacedj.cn/“]网易云音乐破解[/friend-card] [friend-card name=“ArchiveWeb” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://archiveweb.page/“]网页存档[/friend-card] [friend-card name=“PageSpeed Insights” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://pagespeed.web.dev/“]网页性能分析[/friend-card] [friend-card name=“Pingdom” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://tools.pingdom.com/“]网页性能分析[/friend-card] [friend-card name=“GTmetrix” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://gtmetrix.com/“]网页性能分析[/friend-card] [friend-card name=“DebugBear” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://www.debugbear.com/test/website-speed”]网页性能分析[/friend-card] [friend-card name=“SSL Server Test” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://www.ssllabs.com/ssltest/“]SSL/TLS分析[/friend-card] [friend-card name=“亚数信息” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://myssl.com/“]SSL/TLS分析[/friend-card]

其它

[friend-card name=“Guerrilla Mail” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://www.guerrillamail.com/“]匿名邮箱[/friend-card] [friend-card name=“AutoDL” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://www.autodl.com/home”]AI训练服务器[/friend-card] [friend-card name=“AlternativeTo” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://alternativeto.net/“]查找软件替代[/friend-card] [friend-card name=“Gitpod” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-website-100.webp” url=“https://gitpod.io/“]云IDE[/friend-card]

软件

工具类

[friend-card name=“Okular” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://okular.kde.org/“]PDF阅读器[/friend-card] [friend-card name=“WizTree” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://www.diskanalyzer.com/“]储存占用可视化[/friend-card] [friend-card name=“ImHex” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://github.com/WerWolv/ImHex”]十六进制编辑[/friend-card] [friend-card name=“WinMerge” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://winmerge.org/“]文件差分合并[/friend-card] [friend-card name=“PuTTY” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://putty.org/“]SSH客户端[/friend-card] [friend-card name=“WinSCP” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://winscp.net/“]FTP客户端[/friend-card] [friend-card name=“EndNote” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://support.clarivate.com/Endnote/s/article/Download-EndNote?language=en_US”]文献管理[/friend-card] [friend-card name=“图吧工具箱” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://www.tbtool.cn/“]硬件检测[/friend-card] [friend-card name=“Crystal Disk” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://crystalmark.info/en/”]硬盘[/friend-card] [friend-card name=“BitComet” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://www.bitcomet.com/en/archive”]磁链[/friend-card] [friend-card name=“qBittorrent” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://www.qbittorrent.org/“]磁链[/friend-card] [friend-card name=“lastactivityview” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://www.nirsoft.net/utils/computer_activity_view.html”]查看Windows操作记录[/friend-card] [friend-card name=“Rufus” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://rufus.ie/en/”]启动盘制作[/friend-card] [friend-card name=“v2rayN” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://github.com/2dust/v2rayN/releases”]VPN[/friend-card] [friend-card name=“JiJiDown” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“http://client.jijidown.com/“]BiliBili下载[/friend-card] [friend-card name=“Stellarium” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://stellarium.org/“]天文台[/friend-card]

媒体

[friend-card name=“DaVinci Resolve” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“http://www.blackmagicdesign.com/products/davinciresolve/studio”]音视频制作[/friend-card] [friend-card name=“Blender” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://www.blender.org/“]3D[/friend-card] [friend-card name=“darktable” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://www.darktable.org/“]图库管理[/friend-card] [friend-card name=“GIMP” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://www.gimp.org/“]图片编辑[/friend-card] [friend-card name=“InkScape” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://inkscape.org/“]矢量图编辑[/friend-card] [friend-card name=“foobar2000” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://www.foobar2000.org/“].ogg .wem播放
插件[/friend-card] [friend-card name=“mpv” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://mpv.io/“]播放器，教程[/friend-card] [friend-card name=“Waifu2x-Extension” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://github.com/AaronFeng753/Waifu2x-Extension-GUI”]视频图片超分[/friend-card] [friend-card name=“untrunc” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://github.com/anthwlock/untrunc”]修复受损mp4, mov[/friend-card] [friend-card name=“ImageGlass” ico=“https://cdn.academe.city/vertin.me/persistent-image/icons8-software-96-2.webp” url=“https://imageglass.org/“]图片[/friend-card]