搜索结果：ip（146 个）
按分类缩小范围
wikipedia-ios
综合 54
Wikipedia（维基百科）官方 iOS 客户端。
ChromeAppHeroes
综合 54
为优秀的 Chrome 插件编写的中文说明书与推荐指南。
saw-script
综合 54
saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。
中国程序员容易发音错误的单词汇总。
claude-hud
综合 53
Claude Code 插件，可实时展示上下文用量、调用工具、运行中 Agent 和待办进度。
一款开源的 Windows 和 Office 激活脚本工具，支持 HWID、Ohook、在线 KMS 等多种激活方式与故障排查。
todomvc
综合 53
通过用 React.js、Angular、Vue 等多种框架实现的 Todo 应用，帮你对比与选择 JavaScript 框架。
lantern
综合 52
开源 VPN 工具，注重速度、隐私保护与网络畅通，支持全主流桌面与移动平台。
wekan
综合 51
基于 Meteor 构建的开源看板工具。
sbt-eclipse
综合 51
〔中文简介暂未生成〕 Plugin for sbt to create Eclipse project definitions
cherry-studio
综合 50
集成了各类模型、Agent 与效率工具的 AI 工作台桌面应用。
easy_tv_live
综合 50
极简、轻量级的全平台 IPTV 播放器，支持 Android TV 大屏。
swagger-ui
综合 49
Swagger UI 是一套前端资源集合，能根据符合 Swagger 规范的 API 动态生成美观的交互式接口文档。
jsdoc
综合 49
专为 JavaScript 打造的 API 文档自动生成工具。
openGym
综合 49
开源健身记录 App，支持计划定制、动作记录与肌肉受力展示，可从主流软件导入数据。
You-Dont-Need-jQuery
综合 49
演示如何用原生 JavaScript 实现类似 jQuery 的 DOM 查询、样式、Ajax 与事件处理等操作。
bentopdf
综合 49
注重隐私保护的本地化 PDF 工具箱。
project-nomad
综合 48
离线优先的知识教育服务端，无需联网即可本地运行维基、书籍、地图及可选本地 AI。
karakeep
综合 48
支持自托管的万象书签工具，具备 AI 自动标签与全文检索功能。
conscript
综合 48
conscript 是一个基于 Scala 开发的分发工具。它利用 GitHub 和 Maven 仓库作为基础架构，核心功能是像 APT 或 Homebrew 一样，帮助开发者轻松安装、更新和管理基于 Scala 的命令行应用程序。