搜索结果：types（835 个）

面向 React 的性能优化编译器。

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

基于 SVG 的 React 组件，用于快速构建骨架屏加载动画。

VLESS/Trojan/Warp Worker 订阅 GUI 面板，含私有 DoH、链式代理与 DNS 路由配置。

为 Obsidian 集成 Git 版本控制，支持自动提交与同步等高级功能。

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

用于 TypeScript 库开发的零配置 CLI 工具，开箱即用。

可将 SVG 矢量图直接转换为 React 组件的代码转换工具。

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

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

专为追求舒适视觉体验打造的柔和粉彩色调主题。

适用于 iOS 与 Android 的 React Native 地图视图组件。

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

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

下一代服务端工具包，提供构建 Web 服务所需的一切能力，支持部署至任意环境。

汇集了众多流行图标库的 React SVG 图标组件集合。

提供预览、编译、补全及高亮等功能的 VS Code LaTeX 增强插件。

GitHub 官方文档站 docs.github.com 的开源仓库。

Zotero 翻译插件，支持 PDF、EPub 等内容，集成 20 多种翻译服务。

功能强大、交互丰富的浏览器端开源数据可视化与图表库。