搜索结果：im（93 个）

Nixfmt 是由官方团队维护的 Nix 语言代码格式化工具，基于 Haskell 开发。它致力于解决 Nix 代码排版不统一的问题，核心功能是严格按照官方标准自动规范并美化 Nix 代码。支持在 NixOS、VS Code 及 Neovim 等环境与编辑器中无缝集成使用。

支持自托管的万象书签工具，具备 AI 自动标签与全文检索功能。

专为 AI 应用打造的多框架流式 Markdown 渲染器，支持 Vue、React 等及数学公式渲染。

免费易用的日程协调平台，支持日历集成与空闲时间投票，方便团队敲定会议时间。

免费开源的离线文件转换器，支持拖拽转换 263 种格式，无需上传或安装 Office。

轻巧敏捷的 Mastodon 网页客户端。

Ergo 是一个基于 PoW 共识机制的加密货币协议及其 Scala 官方全节点实现。它在扩展 UTXO 模型下解决了传统区块链合约功能受限与状态膨胀问题，核心支持图灵完备的 ErgoScript 合约语言、抗 ASIC 的 Autolykos2 算法、无状态轻客户端以及用于防止垃圾状态的存储费机制。

面向团队的快速知识库工具，界面美观，支持多人实时协同编辑与 Markdown，帮助团队高效管理文档与沉淀知识。

〔中文简介暂未生成〕 Haskell implemented with combinators

为 Laravel 提供静态代码分析，提升开发效率与代码质量。

基于 Tauri 和 Nuxt 构建的现代离线看板应用，支持主流桌面系统。

基于 Vue3 和 Tiptap3 的开源文档编辑器，提供类似 Microsoft Word 的在线编辑体验。

基于文件系统的极简发布引擎，支持 Markdown 解析与代码高亮。

用 AI 将文档或主题生成原生 PPT，支持原生图形、转场动画、图表数据及旁白配音。

实验性编程语言 Carbon 主仓库，包含设计文档、核心实现与相关工具。

基于 ASP.NET Core 的开源 Web 应用框架，为构建 .NET 企业级软件提供完整基础架构。

为 Laravel 框架提供高性能 Excel 导入与导出的扩展包。

vector 是一个高性能的 Haskell 数组库，旨在解决原生数组 API 复杂且低效的问题。它提供类似列表的友好接口与 O(1) 索引访问，支持可变及不可变形式，涵盖装箱、未装箱、Storable 和原始等多种向量类型，并通过 Stream Fusion 框架优化循环、消除中间结构。

类似 Markdown 语法、可通过纯文本快速渲染流程图与时序图等图表的工具。

简单优雅的 Markdown 编辑器，全面支持 Linux、macOS 和 Windows 平台。