搜索结果：is（606 个）

CLIP 的开源实现。

一款简单易用的开源商业智能（BI）与嵌入式分析工具，让每个人都能轻松处理、探索和可视化数据。

为现有终端和 Shell 带来 IDE 级别的代码自动补全体验。

实时零代码、强安全 ORM 库，后端接口与文档免开发，前端可灵活定制返回 JSON。

为开发者打造标准化开发工作流，规范大规模软件开发流程，提升代码质量与一致性。

专为 MCP 服务器打造的确定性测试工具。

专为日内交易打造的 11 个 Claude 技能，支持扫描图表、追踪突发快讯、把控进出场时机，并在实盘前模拟推演交易结果。

macOS CLI 及 MCP 服务端，供 AI Agent 截屏并通过本地或远程模型进行视觉问答。

Gradle Play Publisher 是一款专为 Android 打造的 Google Play 自动化发布 Gradle 插件。它解决了手动发版繁琐的问题，核心功能包括：自动构建、上传及晋级 APK/AAB 安装包，并支持同步发布应用商店详情、应用内商品及订阅等元数据。

仅 25MB 的轻量跨平台数据库客户端，支持百余种数据库，内置 AI、MCP Server、CLI 与桌面端。

专为网络爬虫设计的 Python 代理 IP 池。

将博导十年科研经验炼化为可直接调用的 AI 技能，从 Idea 构思到论文投稿的科研副导师。

支持 Markdown、todo.txt 的 Android 文本编辑与笔记应用。

开源声明式 GUI 工具包，支持为 Rust、C++、JavaScript 或 Python 应用构建原生界面。

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

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

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

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

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

一款兼容 Git 的版本控制系统（VCS），兼具简洁操作与强大功能。