可扩展正式软件验证的开放标准
佩特拉（Petra）是世界上第一个用于可扩展（面向对象的）正式软件验证的开放标准，也是该标准的专业开发人员工具。
基于分类与功能标签精选的同赛道优质工具。
免费开源的本地 AI 视频生成工具
一个基于 Wails v3 打造、面向桌面端的 K8S 多集群管理工具，支持Mac与Windows系统
输入、截图、划词、替换、文字识别翻译AI软件
轻量、高效的 Markdown 编辑器
91化简是一个开源免费的简历设计制作以及提供模板下载的网站
追踪你的每日能量消耗与补充，让精力管理像看仪表盘一样简单。
出海变现利器：几分钟搭建你的产品发布站
实时字幕和语音输入工具，支持50+语言翻译，本地处理保护隐私
AI 把应用搭好后，用 Basevolt 管理和运营
全站所有页面展示，仅剩 5 个位
