搜索结果：c（1704 个）

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

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

Giter8 是一个基于 Scala 开发的命令行脚手架工具。它主要解决项目初始化繁琐的问题，核心功能是直接拉取发布在 GitHub 或其他 Git 仓库中的模板，自动生成对应的项目目录与文件，常作为 sbt 插件用于快速搭建 Scala 等项目工程。

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

面向各类 IDE 和代码编辑器的 Rust 语言编译器前端实现。

高性能网盘资源搜索 API 服务，支持 TG 频道及插件并发搜索、智能排序与网盘分类，支持 Docker 部署。

专为安全研究设计的 HTTP 工具包。

Terraform 的 AWS Provider 插件，支持通过代码自动化管理 AWS 云资源。

hledger 是一款用 Haskell 编写的纯文本复式记账工具，解决财务及时间记录难以版本化和跨平台管理的问题。它以纯文本格式存储数据，支持多币种、投资与发票追踪；提供 CLI、TUI 和 Web 界面，兼具极速处理性能与精准报表生成能力。

Scala.js 是一个将 Scala 语言编译为 JavaScript 的编译器。它旨在让开发者能够直接使用类型安全且功能强大的 Scala 语言编写前端或全栈应用，并将其转换为标准的 JavaScript 代码，从而在浏览器或 Node.js 环境中流畅运行。

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

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

可扩展的 PHP HTTP 客户端。

CakePHP：PHP 快速开发框架官方仓库。

为应用提供国际化（i18n）支持的工具组件。

OBP-API 是用 Scala 编写的开源银行 RESTful API 平台。它抹平了各核心银行系统的差异，支持开放银行、PSD2 和 XS2A 标准。核心提供账户、交易、支付及内部管理接口，支持 OAuth 2.0 认证、多版本共存以及交易数据脱敏、标签富化与可配置共享。

Apache Pekko 是基于 Actor 模型的开源框架（源自 Akka 2.6.x 分支），旨在解决 Java/Scala 开发者构建高并发、分布式及弹性消息驱动应用的复杂难题。其核心通过高级并发抽象，提供持久化、流处理（Streams）和 HTTP 等配套库，支持构建高可用的分布式系统。

almond 是一个专为 Jupyter 打造的 Scala 内核（Kernel）。它解决了无法直接在 Jupyter Notebook 中编写和运行 Scala 的问题，提供交互式 REPL 环境，并支持 Spark 与 Spark SQL，方便开发者进行 Scala 数据分析与交互式编程。

sbt-native-packager 是一个 sbt 插件，解决 Scala/Java 应用打包及系统部署繁琐的问题。它能直接将应用构建为原生格式，支持输出 zip/tar 压缩包、Debian/RPM 安装包、macOS DMG、Windows MSI 以及 Docker 和 GraalVM 原生镜像；同时提供开箱即用的启动脚本，并支持 Systemd 等服务管理配置。

sttp 是一款专为 Scala 设计的 HTTP 客户端库。它解决了 Scala 生态中网络请求调用繁琐、技术栈割裂的问题。核心功能包括：提供统一易用的 API，支持同步、Future 及各类函数式 Effect（如 cats-effect、ZIO）；兼容 OkHttp 等多种底层后端；支持 URI 插值、JSON 自动编解码、流式传输、文件收发与 WebSocket。