GitHub 热门
共 2193 个项目 · 第 52 / 88 页
ManufacturingSaw / horizon-capes-skins-minecraft JavaScript
Horizon(Rust 版 Minecraft)的免费披风、翅膀与表情外观模组
这是给 Horizon(用 Rust 重写的 Minecraft: Java Edition)做的免费外观模组,类似 Lunar 客户端的付费披风、翅膀、表情,但完全不要钱、不用注册账号。它提供 24 款披风、8 对翅膀、12 顶帽子、6 只肩宠和 8 个表情动作,选中后按 Wear it 即可穿上,装了同款模组的其他玩家在任何服务器上都能看到你的装扮;还能用 12 种徽记和两种颜色给小队定制专属披风,通过分享码让全队统一穿着,队名会显示在你的名牌下方。你也可以拖入 PNG、GIF 做自定义披风,GIF 会变成动态效果。装扮只在本地渲染,服务器完全看不到,因此不影响任何游戏平衡。适合 Minecraft 玩家、喜欢给角色换装和做表情互动的休闲玩家,以及想给小队做统一视觉标识的社群组织者;对 AI 或后端从业者来说基本无关。
★ 195 ⑂ 13 创建 6 天前 更新 3 天前
0xS4N4TG / kinetograph AI编程工具 TypeScript
不启动浏览器的 Remotion 替代品,用 Rust GPU 合成器为 AI agent 快速渲染视频
Kinetograph 是一个用代码生成视频的渲染引擎,可以理解为「不启动浏览器的 Remotion」。你用 TypeScript 按 Remotion 的写法描述视频,或者直接写一个 HTML 页面,Node 跑你的代码,底层由 Rust 写的 GPU 合成器逐帧绘制,支持 CSS、SVG、Canvas、WebGL shader、3D 和 Web Audio,最终直接输出 mp4。已有的 Remotion 项目和 HyperFrames 项目可以原样迁移过来。它主打速度快,并且明确面向 AI agent 使用,提供了 MCP 接入方式,让 agent 能自己写视频、自己渲染。典型场景是让 Claude 这类编程 agent 批量生成产品宣传片、数据可视化动画或社交媒体短片,省去人工反复预览调试的时间。如果你是做 AI 内容生产流水线、自动化视频工具链的工程师,或者受够了 Remotion 渲染慢、依赖 Chromium 的开发者,值得花几分钟看看;纯做模型训练或后端的人关系不大。
★ 476 24h +11 ⑂ 33 创建 14 天前 更新 10 小时前
Lanqiao-Luca / ai-java-workflow Agent框架 Python
面向 Java/Spring 业务开发的多角色 AI 研发工作流框架
这是一套用 AI 辅助 Java / Spring Boot 业务开发的 Agent 工作流框架,把需求澄清、方案设计、编码实现、测试验证、代码审查到交付的完整研发流程,拆成 20 个职责明确的 Agent 角色(如需求负责人、实现者、验证者、审查者),并用 Brain 统一按任务复杂度路由到合适的组织层级——单轮协作走 Workflow,同目标多轮整改走 Loop,多目标依赖并行走 Graph。它解决的麻烦是:让 AI 编码助手不再一次性吐出大段代码,而是按阶段交接、每步都有验收判据和可追溯证据,比如 Spring 批量归档案例中,候选实现要通过 14 项真实 MockMvc 测试并由独立上下文重跑验证。适合在团队里负责 Java/Spring 开发、想把 AI 编码助手从「随手问答」升级为「有流程有审查的研发协作」的工程师和技术负责人;如果你不做 Java 或不关心 AI 辅助研发流程,关系不大。
★ 171 24h +29 ⑂ 7 创建 5 天前 更新 1 天前
DiameterZone / anyunlock
披着破解工具外衣的恶意脚本分发仓库,切勿下载运行
这是一个分发破解版 AnyUnlock 的仓库,AnyUnlock 本身是一款商业 iOS 解锁工具,用于移除 Apple ID、屏幕锁、MDM 管控和 FRP 等。仓库提供所谓「预激活」的 Windows 安装包,但 README 中的安装方式是让你关闭杀毒软件、以管理员身份运行一段从外部域名动态下载并执行的 PowerShell 脚本——这是典型的恶意软件分发手法,实际下载的内容完全不受控,极可能窃取凭据或植入后门。即使脚本真的指向原版软件,分发破解商业软件本身也涉及侵权。建议不要下载运行,需要解锁设备请走官方渠道或正规维修。对多数从业者来说这个仓库没有任何参考价值,看到请直接跳过并警惕。
★ 103 ⑂ 0 创建 3 天前 更新 3 天前
tmcleroy / soulcalibur2-recomp C++
Soulcalibur II 静态重编译原生移植,含三平台独占角色与专业训练工具
这是把 Xbox 版格斗游戏 Soulcalibur II 做成原生移植的项目,采用静态重编译技术:把游戏程序提前翻译成 C 代码在原生运行时上跑,不依赖模拟器,可运行在 macOS、Linux(含 Steam Deck)、Windows 和 Android 上。它最大的卖点是把三个平台的独占客串角色——Xbox 的 Spawn、GameCube 的 Link、PS2 的 Heihachi——合到同一份游戏里,只要玩家自备对应光盘镜像即可解锁,三名角色能在所有模式中对战。此外还加入了训练模式(显示 hit box、帧数据、帧表、连招读数、可录制回放的木桩)、带 rollback 的在线对战、自由相机、宽屏、高分辨率和 CRT shader。对格斗游戏开发者或想研究帧数据、hit box 设计的从业者来说,这套训练工具相当专业;普通 AI 或互联网从业者与它关系不大,纯属怀旧玩家和格斗游戏社区的玩具。
★ 130 24h +20 ⑂ 5 创建 4 天前 更新 2 小时前
EL4CTEO / blender-skills AI编程工具 Python
把 Blender 全套 3D 制作流程封装成 AI 代理可调用的技能库
这是一套把专业 Blender 3D 制作流程打包成 Agent Skills 的技能库,让 Claude Code、Codex、Gemini CLI、Copilot、Cursor 这类 AI 编程代理能直接指挥 Blender 干活。它覆盖 28 个技能,从硬表面建模、UV 展开、PBR 材质、贴图烘焙、骨骼绑定、动画重定向,到衣物头发、场景环境、天气特效、渲染输出和资产 QA,基本对应游戏美术的完整管线。典型用法是用一句话让代理生成可直接进引擎的游戏资产,比如「给 Unreal 做一个带烘焙法线和 LOD 的板条箱」「用 Rigify 绑定角色并导出到 Unity」「检查模型有没有 z-fighting 和悬浮部件再导出到 Roblox」「把街道做成雨夜带积水和闪电的效果」。它主要面向独立游戏开发者、3D 美术和需要自动化资产管线的技术美术,想用 AI 提速 Blender 工作流的人值得看;纯后端或算法岗关系不大。
★ 743 24h +22 ⑂ 76 创建 23 天前 更新 7 天前
jxy333967 / jianxunyun
VPN 服务商引流仓库,仅提供域名入口,无代码
简讯云是一个 VPN 服务的推广仓库,README 里没有任何代码或技术内容,只有一串不断更换的官网入口域名、备用镜像地址和 Telegram 客服号,用来在主域名被墙时引导用户找到登录页。它自称提供快速、安全、隐私的翻墙线路,本质是商业机场的引流页面,而非开源项目。这类仓库在 GitHub 上并不少见,通常靠堆域名和关键词获取搜索流量,464 个 Star 的成色也值得怀疑。对多数互联网和 AI 从业者来说,它和工作内容没有关系;如果你确实需要稳定的科学上网工具,建议优先选择有口碑、有审计记录的成熟服务,对这种只留域名不留代码的仓库保持警惕。
★ 174 24h +387 ⑂ 0 创建 5 天前 更新 2 天前
thesysdev / open-intelligent-ui AI编程工具 TypeScript
开源复刻 ChatGPT Intelligent UI,让 AI 答案流式渲染成交互界面
这是对 ChatGPT 新推出的 Intelligent UI 体验的开源复刻:你问「规划旧金山一日游」,它回给你的不是一段文字,而是一张带路线的地图、配图和一份可编辑的行程表。它基于 OpenUI 这一 Generative UI 开放标准,模型流式输出 OpenUI Lang,前端用一套布局、文本、输入、图表、地图、SVG 绘图等基础组件渲染,布局完全由模型自己安排,还内置了几十个可让界面自行计算的函数,比如分账、单位换算、数据分组。想做类似 ChatGPT 那种「答案即界面」的 AI 产品,可以直接拿它当参考实现,也能接本地 Ollama 模型跑通。适合做 AI 应用前端、生成式 UI、Agent 交互的工程师看;纯后端或不碰 AI 界面的人关系不大。
★ 949 24h +13 ⑂ 84 创建 29 天前 更新 13 小时前
whyever77 / dafeiyu-astrbot Agent框架 Python
住在 QQ 里的多模态鲸鱼娘机器人全家桶
大肥鱼是一只住在 QQ 里的鲸鱼娘机器人,DeepSeek 蓝鲸 logo 的社区二创形象,基于 AstrBot + NapCat + DeepSeek + 阿里云百炼搭建,把「让她住进 QQ」的全套实践开源出来。她能看图片和视频帧、听语音和视频音轨、用自定义音色回语音条、发真实 QQ 表情,靠长期记忆记住每个私聊和群的独立上下文,还能按沉默触发主动找你聊天、每天定时逛 B 站、看手机截图并操作、只读浏览网页。项目还包含记忆星海可视化房间、生活决策与节律、跨日自主项目、B 站评论区互动等一整套「自主生活」实验模块,多数默认关闭、标注了真实验证边界。适合想搭个人 QQ AI 伙伴的爱好者,以及研究 Agent 记忆、主动交互、多模态感知落地的 AI 工程师参考;只想找现成聊天机器人的普通用户可能觉得配置门槛偏高。
★ 749 24h +32 ⑂ 45 创建 23 天前 更新 5 小时前
MerkyorLynn / dsh-live-compact AI编程工具 JavaScript
DSH 插件:每轮就地压缩上下文,保住前缀缓存
这是给 DSH(DeepSeek Harness)用的插件,解决长对话里上下文压缩的老问题:原版要等窗口堆到 80% 才触发一次模型压缩,等十几秒、额外计费,压完注意力还会飘,没多久又堆满。Live Compact 的思路是边做边压——每轮对话结束后,只要上下文超过两万 token 就本地切一刀,把刚结束的这一轮就地压掉,不调用模型、不改切点之前的原文,因此云端的前缀缓存命中率基本不受影响,官方的大压缩能拖就拖。作者用 Aider 的 150 道编程题和 20 题长链路做了对比:通过率不变,费用便宜约 23%,题末上下文比原版低四成,墙钟时间也明显缩短。适合经常用 DSH 跑长任务、多轮工具调用的 AI 编程和 Agent 应用从业者,尤其是按 token 计费、在意缓存命中的云端用户;只是偶尔聊两句的人用不上。
★ 113 24h +5 ⑂ 8 创建 3 天前 更新 9 小时前
bbylw / rea-cn DeveloperTools Astro
让 AI 智能体逆向分析二进制与应用的 MCP 服务
REA 是一个把逆向工程能力接入 AI 智能体的 MCP 服务,让 Claude Code、Cursor、Codex 等助手能直接分析二进制文件、应用和运行时行为。比如你在某款软件里看到一个想抄的功能,却没有源码,可以让智能体用 REA 拆解它的实现逻辑、给出证据,再照着写进自己的项目。它支持原生二进制(配合 Hopper、Ghidra 或 IDA 输出伪代码和调用关系)、JavaScript/Electron 应用的模块与 IPC 分析、.NET 程序集、网站,甚至 EVM 字节码和 Linux 崩溃日志,分析全部在本机进行。适合安全研究员、逆向工程师、以及想研究竞品实现方式的开发者;如果你的工作不涉及反编译或竞品功能拆解,这个项目和你关系不大。
★ 848 24h +16 ⑂ 257 创建 26 天前 更新 26 天前
YeonwooSung / my-claude-code-mods AI编程工具 TypeScript
Claude Code 增强 mods 合集,覆盖性能分析、时间线回溯与工程流程
这是一套给 Claude Code 用的 mods 合集,作者把自己日常开发中需要的十几个增强功能打包在一起,装上后 Claude Code 会多出一批斜杠命令和界面面板。它解决的都是用 Claude Code 干活时的真实痛点:agent-profiler 和 context-inspector 分析一次会话的时间花在哪、上下文窗口被什么占满、哪些内容被重复读取;time-machine 用分支时间线记录每次工具调用,能回看任意一步的文件状态,定位是哪次改动弄坏了测试;loop-detective 检测 Bash 反复失败或改了又试的死循环。此外还有验证结果看板、改动影响范围分析、决策记录、交接文档、依赖变更透视等偏工程流程管理的工具。如果你是重度使用 Claude Code 做日常开发的工程师,尤其经常抱怨它烧 token、绕圈子、改崩代码,这套 mods 值得翻一翻;只是偶尔用用 AI 编程工具的人则关系不大。
★ 901 24h +1 ⑂ 7 创建 28 天前 更新 5 天前
zgsfsec / Full-Chain-Sentinel-System Agent框架 TypeScript
面向授权渗透测试的自动化安全 Agent 工作台
全链哨兵是一个面向授权渗透测试的网络安全 Agent,可以理解为把 Burp Suite、移动抓包工具和应急响应流程整合进一个带 Web 控制台的自动化工作台。它通过中英文界面统一管理测试项目,内置 Kali 工作容器和常驻网关,支持代理热切换、人工审批与 AI 审批两种执行模式,并把调用流水和会话记录留作审计证据。实际场景包括:对 Web 和小程序做批量打点与漏洞验证,接入安卓 DroidBridge、iOS SentinelBridge 设备做抓包和动态分析,订阅 Nuclei POC 和 FOFA、Quake 等情报源做资产关联,最后导出带 CVSS 评分和截图证据的 Markdown 报告。适合安全服务交付团队、攻防演练蓝队和甲方安全工程师在已获书面授权的项目中使用;普通开发或非安全岗位关系不大,且务必注意它能执行任意命令,越界使用风险自负。
★ 691 24h +14 ⑂ 219 创建 21 天前 更新 2 天前
finic-ai / kairos 推理部署 TypeScript
开源实时反欺诈风控引擎,agent 可自动调优决策模型
Kairos 是一个开源的实时风控决策引擎,可以看作 Sardine、Sift、Riskified、SEON 这类商业反欺诈服务的替代品:你把注册、登录、下单、支付、提现等事件发给它,它在毫秒级返回通过、二次验证、人工复核或拦截的结论,并附上风险分和依据信号(历史行为、设备/卡/地址的关联、会话特征)。它内置一个叫 Grayson 的决策模型,能用自然语言回答「这个收货地址像不像转售商」「这个邮箱是不是一次性邮箱」,在标签数据很少时就能上线,还能读取地址、描述这类非结构化文本;这些答案可以和你的数值字段一起喂进逻辑回归或 XGBoost 训练。真正的差异化在于调参的人是你的 coding agent:通过 MCP 接入 Claude Code、Cursor 或 Codex,agent 能读取决策记录、设计模型实验、跑对比并把胜出版本发布上线。适合电商、支付、金融科技公司的风控工程师、反欺诈策略和 ML 工程师,尤其是标签稀缺、想用 AI 辅助迭代策略的团队;做通用业务后端或与风控无关的人可以跳过。
★ 221 24h +30 ⑂ 12 创建 7 天前 更新 3 天前
hi3d-official / Hi3Dv1.0 多模态 Python
用参考图把粗糙3D网格精修到高分辨率几何细节
Hi3D v1.0 是一个高分辨率 3D 几何精修工具,可以理解为 image-to-3D 流程里的「后期打磨」环节:你先用 TripoSR、Trellis 之类的工具从一张照片生成一个粗糙的 3D 网格,再拿同一张参考图喂给它,它会把粗糙模型逐步细化成细节丰富的高精度几何,官方展示能还原浮雕层次、建筑线脚、鳞片牙齿这类微小结构。它基于 Sparc3D 架构,分三轮把稀疏网格从 512³ 推到 1536³,训练用了约两百万个 3D 资产,仓库只提供推理代码,模型权重放在 Hugging Face。做 3D 打印、游戏资产、数字孪生或电商 3D 展示的从业者,如果苦恼于生成的模型表面糊、细节丢,值得试一下;只做纯文本或模型训练的人则关系不大。
★ 679 24h +3 ⑂ 65 创建 21 天前 更新 14 天前
outcrawlai / scout Agent框架 TypeScript
用自然语言驱动真实浏览器完成任务的开源 Agent
Scout 是一个开源的浏览器 Agent,用大白话讲就是「雇一个会自己操作浏览器的助手」:你用自然语言描述任务,它打开真实浏览器去读页面、点击、输入、滚动,直到把事办完再把结果交给你;做不完时也会说明缺什么、带回已找到的部分。它能干的活儿包括去 Hacker News 统计评论最多的三条新闻、在表单里替你下单、跨站比价比库存、用给定账号登录并读取欢迎语,还能按你指定的 JSON Schema 返回结构化结果。模型完全自选,可为「动手」「规划」「看截图」「抽取」等不同分工配不同模型,也能跑在本地浏览器或 Outcrawl 云上(云上带验证码处理和每次运行的回放)。值得看的是需要写网页自动化脚本、做数据采集或 RAG 前处理的工程师,以及想让 AI 编程助手顺带搞定浏览器任务的人;纯做模型训练或后端业务的读者关系不大。
★ 768 24h +1 ⑂ 18 创建 24 天前 更新 3 天前
Nicovic17 / vanish_webcam 多模态 Python
本地摄像头瞬移消失特效工具,可接入 OBS 直播
这是一个本地运行的摄像头特效工具,能把你的摄像头画面实时变成动漫里的「瞬移消失」效果,类似给直播或视频通话加一层趣味滤镜。它用 MediaPipe 做人脸和手势识别,通过按键或手势触发烟雾、粒子等特效,让人物瞬间消失再出现,视频全程只在本机处理,不上传服务器。输出可以接到 OBS Virtual Camera,方便在直播场景里使用。适合想给直播、短视频或线上会议加点整活效果的内容创作者和主播,尤其是喜欢 Naruto、Goku 这类动漫梗的人;如果你不玩直播或不做视频内容,这个项目和你关系不大。另外要注意,打包版 EXE 需要联网激活邮箱许可证,本地源码版则没有这层限制。
★ 886 24h +10 ⑂ 113 创建 28 天前 更新 7 小时前
FigureSultanLast / roblox-ai-studio-agent AI编程工具 Luau
终端里的 AI agent,用 diff 和一键撤销帮你在 Roblox Studio 搭场景写脚本
Stud 是一个跑在终端里的 AI agent,可以类比成「Claude Code 之于代码仓库」,只不过它操作的是 Roblox Studio 里的游戏场景:搭零件、建模型、写 UI 和 Luau 脚本,全部直接落到 Studio 中。它最大的特点是每次改动前先给你看一份 place diff,用加减号列出将要新增、修改、删除的实例和脚本行,你确认后才动手;每一轮改动在 Studio 里只占一个撤销步,一次 Ctrl+Z 就能整体回退,还能用 rewind 跳回任意历史轮次。写完代码它不会停,会自动启动 playtest、读取 Output 里的报错并反复修复,最后给出检查结果和截图作为「证据」。模型方面默认走 Ollama 本地免费模型,也支持自带 Claude、GPT、Gemini 的 key。适合做 Roblox 游戏的开发者和 UGC 创作者,尤其是想用自然语言快速搭场景、调脚本又担心 AI 乱改的人;如果你不碰 Roblox,这项目和你关系不大。
★ 220 24h +10 ⑂ 11 创建 7 天前 更新 3 天前
BountyForge-xyz / pwn-skill
Agent skill for binary exploitation and CTF pwn — stack, heap, format string, kernel, seccomp bypass.
★ 31 24h +10 ⑂ 1 创建 13 小时前 更新 13 小时前
amitshekhariitbhu / forward-deployed-engineer-roadmap 其他 Markdown
面向客户现场落地 AI 产品的 FDE 岗位学习路线
这是一份教人成为 Forward Deployed Engineer(FDE)的学习路线图,FDE 是近两年在 Palantir、OpenAI 等公司兴起的岗位,简单说就是驻扎在客户现场、把 AI 产品从 demo 落地到客户生产环境的工程师,比纯研发更贴近业务,比售前更会写代码。这份路线图按真实项目交付的生命周期组织,从理解客户需求、选模型、做 prompt 和 RAG、搭 Agent,一路讲到评估观测、安全合规、成本延迟优化、微调和系统设计,最后用一个实时语音 Agent 案例把所有知识串起来,并附面试准备。每个主题都配了配套博客,内容偏实战而非理论。如果你是后端或算法工程师,正在考虑往 AI 应用交付、解决方案架构方向转型,或者已经在做面向客户的 AI 落地项目却缺乏方法论,这份路线图能帮你快速建立全局视野;如果你只做模型训练或纯后端开发,和你关系不大。
★ 236 24h +26 ⑂ 35 创建 7 天前 更新 19 小时前
ThariqS / ai-newtab AI编程工具 TypeScript
用 Claude 读你的浏览历史,每天生成个性化新标签页
这是一个 Chrome 扩展,把新标签页变成一份每天由 Claude 为你定制的个人主页。它会读取你的浏览历史,挑出你最常访问的几个网站,在后台以你的登录状态打开这些页面,再让 Claude 从中提取新闻、帖子和链接,生成一个全新的首页,链接都来自真实读过的页面而非编造。你可以在设置里用一句话指定风格,比如早报式大报版面、安静的单栏阅读清单、密集的 GitHub PR 仪表盘,或绿字黑底的复古终端样式,还能设置屏蔽某些站点不被读取。适合每天想快速了解「我关注的圈子里今天发生了什么」的互联网和 AI 从业者,尤其是习惯用新标签页当信息入口、又愿意为此自备 Anthropic API key 的人;不关心个性化首页或在意浏览数据外发的人则不必折腾。
★ 900 24h +2 ⑂ 94 创建 29 天前 更新 18 天前
VallierDev / uu-remote-linux Rust
给 Linux 补上 UU 远程被控端,官方客户端可直接远控
网易 UU 远程一直没有 Linux 版本,这个项目补上了这块短板:它是一个纯 Rust 写的 Linux 被控端,装上后用你自己的 UU 账号扫码登录,这台 Linux 机器就会出现在官方 Mac/Windows/手机客户端的设备列表里,用法和 Windows 被控端完全一样。功能相当完整,包括远程桌面(H.264 编码,NVIDIA 显卡走 NVENC 硬编)、键鼠控制、双向剪贴板、文件传输、终端、端口映射、远程协助和锁屏自动解锁,还附带一个实验性的 Linux 控制端,可以在 Linux 上反向远控官方 Windows/Mac 被控端。没有显示器的群晖/NAS 也能用 Docker 部署,提供终端、文件传输和端口转发。X11 下的 GNOME、KDE、Xfce 等桌面已实机验证,Wayland 支持仍属实验性。适合需要远程运维 Linux 工作站、家用 NAS 或无头服务器的运维、开发和网管人员,如果你日常只用 Windows 或 Mac,关系不大。注意这是个人项目,与网易无关。
★ 706 24h +31 ⑂ 281 创建 23 天前 更新 19 小时前
dach6 / ExaltHelper C#
Realm of the Mad God Exalt 的实时 DPS 与掉落追踪伴侣工具
ExaltHelper 是给《Realm of the Mad God Exalt》玩家用的 Windows 伴侣工具,类似游戏内的第三方 HUD 加数据面板。它从游戏数据包里重建战斗信息,实时显示 DPS、总伤害和遭遇战历史,并能区分武器、技能和召唤物各自的贡献;同时提供玩家与装备查看、队伍和掉落日志、任务追踪(含季节任务和 Tinkerer 任务)、战利品图鉴与 Trophy Hall 收集进度,还支持多账号启动、官方或 Steam 客户端管理和重连工具。界面可作为悬浮 HUD 叠在游戏上,也能切到独立的桌面仪表盘放到第二块屏幕。适合重度 RoA Exalt 玩家、想优化输出循环和配装的硬核玩家,以及做游戏数据分析的人参考;对不玩这款游戏或只关心通用 AI 工具的读者来说关系不大。
★ 839 ⑂ 52 创建 27 天前 更新 18 小时前
x18n-dev / x18n TypeScript
跨框架的 i18n 检查与管理工具包,i18n-ally 的精神续作
x18n 是一套跨框架的国际化(i18n)工具包,可以理解为 i18n-ally 的精神续作,但不再绑定特定框架,Vue、React、Angular、Next.js、Flutter、Laravel 等 45 种以上项目都能自动识别,JSON、YAML、PO、Fluent 等各种翻译文件格式也都支持。它能帮你找出缺失、未使用或占位符不匹配的翻译键,检测源文案改动后过期的译文,还能把代码里硬编码的字符串提取进语言文件,并支持按文本反查某个文案对应哪个键、在代码哪里被引用。同一套引擎同时提供 CLI、浏览器 UI、VS Code 和任意 LSP 编辑器插件,并输出稳定的 JSON 结果供 CI 和 AI Agent 调用。做多语言产品的前端或全栈工程师、负责翻译质量的本地化负责人,以及想把翻译检查接入 CI 流水线的团队值得看看;只做单语言业务的人关系不大。
★ 693 24h +9 ⑂ 12 创建 22 天前 更新 20 小时前
kevintngo / statechart-art JavaScript
用 TLA+ 建模珍珠奶茶店并手绘成状态图的实验项目
这是一个把形式化验证和手绘艺术结合起来的实验项目:作者用 TLA+ 写了四段关于经营珍珠奶茶店的小模型——点单流程、一天的营业、咖啡师与煮锅并行工作、以及一个「陈旧珍珠被端出去」的 bug——先用模型检查器 TLC 验证规则是否成立,再把状态图转成 Mermaid,最后用代码一笔一笔画成钢笔加彩色铅笔风格的插画,四张图分别呈现分支循环、父状态、并发区域和错误路径。它本质上是把状态机教材里的经典概念可视化成可读的手机端图卡,同时演示了「模型检查 → 生成图表 → 排版 → 渲染」的完整流水线。对做形式化方法、状态机建模或技术可视化的人有参考价值;普通后端或 AI 从业者大概率只是当一组好看的图看看,和日常工作关系不大。
★ 216 24h +2 ⑂ 17 创建 7 天前 更新 6 天前
上一页 52 / 88 下一页