搜索结果：mp（86 个）

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

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

汇集各类开发技术文档的高效 API 离线与在线查阅工具。

专注于极致速度的高性能 Markdown 解析器与编译器。

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

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

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

现代 C# PDF 生成库，提供流畅 API 与组件化布局方案，代码清晰易读。

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

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

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

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

用于独立构建、编写文档及测试 UI 组件的行业标准前端开发工作台。

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

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

重塑传统看板形态的现代化 Kanban 看板工具。

在类 Unix 系统上下载、编译和安装 Ruby 的实用工具。

60 余篇深度学习经典论文的带注释代码实现与图文教程集合。

基于 Kotlin 2.0 和 Jetpack Compose 构建的 Android PDF 阅读器，主打暖纸质感与手势交互。

适用于 .NET 的快速、强大、兼容 CommonMark 且可扩展的 Markdown 处理器。