搜索结果：ip（149 个）

〔中文简介暂未生成〕 SonicBOOM: The Berkeley Out-of-Order Machine

基于视觉模型的 OCR 与文档内容提取工具。

开源 VPN 工具，注重速度、隐私保护与网络畅通，支持全主流桌面与移动平台。

使用 Web 技术创建 PDF 文档的工具。

适用于 Chrome、Firefox 和 Thunderbird 的扩展，支持用 Markdown 编写并在发送前渲染邮件。

为优秀的 Chrome 插件编写的中文说明书与推荐指南。

saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。

中国程序员容易发音错误的单词汇总。

Claude Code 插件，可实时展示上下文用量、调用工具、运行中 Agent 和待办进度。

一款开源的 Windows 和 Office 激活脚本工具，支持 HWID、Ohook、在线 KMS 等多种激活方式与故障排查。

通过用 React.js、Angular、Vue 等多种框架实现的 Todo 应用，帮你对比与选择 JavaScript 框架。

基于 Meteor 构建的开源看板工具。

〔中文简介暂未生成〕 Plugin for sbt to create Eclipse project definitions

集成了各类模型、Agent 与效率工具的 AI 工作台桌面应用。

极简、轻量级的全平台 IPTV 播放器，支持 Android TV 大屏。

Swagger UI 是一套前端资源集合，能根据符合 Swagger 规范的 API 动态生成美观的交互式接口文档。

专为 JavaScript 打造的 API 文档自动生成工具。

开源健身记录 App，支持计划定制、动作记录与肌肉受力展示，可从主流软件导入数据。

演示如何用原生 JavaScript 实现类似 jQuery 的 DOM 查询、样式、Ajax 与事件处理等操作。

注重隐私保护的本地化 PDF 工具箱。