搜索结果：is（1849 个）

基于 React 和 D3 构建的数据可视化组件库，开箱即用。

用于远程容器镜像仓库的命令行工具，支持查看元数据、传输镜像及内容签名。

Gephi，一款开源的网络图谱与复杂网络可视化分析平台。

ChatMCP 是一款基于 Dart 开发的跨平台 AI 客户端，解决了在不同设备上统一调用模型上下文协议（MCP）的需求。核心支持桌面端、移动端与 Web 端，提供 MCP 工具调用、局域网数据同步，以及思考模式、图像生成、Artifacts、LaTeX 和 Mermaid 图表渲染等功能。

专为 Vim 设计的高性能代码自动补全引擎。

适用于 Java 的 MyBatis SQL 映射框架。

基于 Chrome 扩展的 MCP 服务端，将浏览器功能接入 Claude 等 AI 助手以实现复杂网页自动化。

Lua 编程语言的官方包管理器。

基于 Go 开发的高性能 HTTP Web 框架，提供类似 Martini 的 API，性能表现优异。

基于 JavaScript 的轻量级模糊搜索库。

图片盲水印工具，添加隐形水印且提取时无需对比原图。

面向高难度知识学习的 AI Agent 教学框架，结合你的理解与思考过程定制教学，循序渐进搭建知识体系。

涵盖 Python、React、Git、Java 等多领域的 LinkedIn 技能评估测验参考答案合集。

macOS 平滑鼠标滚动效果与独立设置滚动方向的小工具，让滚轮体验如触控板般顺滑。

由 GitHub Discussions 驱动的开源评论系统。

Agda 是一个基于依值类型（Dependent Types）的编程语言兼交互式定理证明器，使用 Haskell 开发。它主要用于类型理论研究和高可靠性程序验证，支持开发者编写严谨的程序代码，并利用其强大的类型系统进行数学定理的形式化交互证明、类型检查与编译。

**miso** 是一个基于 Haskell 的前端与移动端框架，受 Elm 和 React 启发，让开发者能用纯函数式语言编写 UI。 核心功能包括： 1. **MVU 架构与虚拟 DOM**：支持递归 diff 和高效更新。 2. **现代前端特性**：支持组件、生命周期、类型安全路由与事件委托。 3. **多目标编译**：通过 GHC 编译为 JS 或 WASM，支持 WASM 热重载。

高性能网盘资源搜索 API 服务，支持 TG 频道及插件并发搜索、智能排序与网盘分类，支持 Docker 部署。

一款注重兼容性与高扩展性的现代富文本（WYSIWYG）Web 编辑器。

专为响应式网页设计打造的定制浏览器，Web 开发者必备工具。