搜索结果：mp（407 个）

Taffybar 是基于 GTK 3 和 Haskell 开发的桌面状态栏，主要为 XMonad 等平铺式窗口管理器提供美观的信息展示。它本质上是一个库，用户能用 Haskell 配置和编写自定义组件，提供多种内置小部件，支持 CSS 样式美化，并已初步支持 Wayland。

纯 JavaScript 打造的客户端及服务端 PDF 文档生成库。

〔中文简介暂未生成〕 The Egison Programming Language

采用 Rust 开发、支持 GPU 加速的跨平台终端模拟器与复用器。

快速简单地构建全屏滚动展示页面的经典前端插件。

纯 Rust 实现的 Git，注重优雅、精简、快速与安全。

适用于任何 Shell 的极简、极速且高度可定制的命令行 Prompt。

面向充满好奇心的软件工程师的学习资源合集。

基于 AI 的一站式短剧生成平台，支持通过一句话实现从剧本到成片的全自动化制作。

用于数据转换的现代管道式语言，简洁强大，旨在作为 SQL 的现代化替代品。

含完整 UI 设计图的 Flutter 练习项目，支持集成与可访问性测试。

cardano-node 是参与 Cardano 去中心化区块链的核心节点程序。它整合了账本、共识机制和网络通信等底层模块，主要用于运行并维护 Cardano 节点。开发者既能直接运行它来加入网络、同步区块，也可以将其相关包作为 Haskell 库集成到自己的项目中。

Plutus 是 Cardano 区块链底层的智能合约语言与开发平台。它主要用于在 Cardano 上构建去中心化应用，核心包含嵌入在账本中的脚本语言 Plutus Core 的实现与形式化规范，以及将 Haskell 代码编译为 Plutus Core 的编译器 Plutus Tx。

LLM 项目集，包含一系列模块化、可复用的编译器与工具链技术。

Rust 官方代码静态检查工具集合，用于排查常见错误并优化代码风格。

ScalaPB 是专为 Scala 设计的 Protocol Buffers 编译器插件。它解决 Scala 原生开发中 Protobuf 代码生成的痛点，能将 proto 文件转换为 Scala 样例类、解析器和序列化器。支持 proto2/proto3、gRPC、JSON 转换及与 Java 代码共存互转，便于项目渐进式迁移。

更快、更好、更稳定的 Redis 桌面 GUI 客户端，支持多平台。

微信开发 Java SDK，支持微信支付、开放平台、小程序、企业微信、视频号和公众号等后端开发。

支持 Java 8+ Jar 和 Android APK 的逆向工程套件，集反编译器、编辑器与调试器等功能于一身。

Habo 是基于 Flutter 开发的极简跨平台习惯打卡应用，专注于保护用户隐私。 它解决了传统打卡工具强制注册、数据滥用的痛点；提供端到端加密同步、离线记录、数值或开关等多种打卡模式、数据统计及生物识别锁，并支持通过 Supabase 免费自建后端。