搜索结果：c（5602 个）

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

haskell-language-server 是官方推出的 Haskell 语言服务器实现。它基于语言服务器协议（LSP），为现代编辑器和 IDE 提供官方级的 Haskell 智能开发支持，能无缝配合 Cabal、Stack 及多种 GHC 版本，大幅提升 Haskell 的编码与工具集成体验。

ElasticMQ 是一个兼容 Amazon SQS 接口的内存消息队列系统，基于 Scala 构建。它主要解决本地开发与测试中依赖真实 AWS SQS 的成本与繁琐问题。核心功能包括支持 SQS 语义的轮询与延时消息、全异步无阻塞运行，支持独立部署、Docker 或嵌入式运行，并提供可选的持久化和 Web 管理界面。

NextcloudPi 构建代码，支持树莓派、Odroid、Rock64 等单板及 curl 脚本安装。

Elixir 的多维数组（张量）与数值计算库。

Hakyll 是一个用 Haskell 编写的静态网站生成器库。它主要用于帮助开发者将 Markdown、模板等源文件编译构建为静态网站，支持通过 Cabal 或 Stack 工具直接安装与集成。

专为树莓派打造的开源项目应用商店。

自动在补丁发布约 10 分钟后，实时构建非 Root 版 Morphe、ReVanced 及扩展版本。

Futhark 是由哥本哈根大学开发的数据并行纯函数式编程语言，属于 ML 语言家族。它主要解决高性能并行计算的编写难题，核心功能是将函数式代码编译为可在 CPU 或 GPU（支持 CUDA、OpenCL）上运行的高效并行程序，适用于实用级高性能计算场景。

专为 Ruby、Python、Node.js 和 Meteor Web 应用打造的 Docker 基础镜像。

适用于 NanoPi R2C/R2S/R4S 及 x86 设备的 OpenWrt 固件。

**wire-server** 是即时通讯应用 Wire 的开源后端服务项目，主要供开发者自建和部署专属的 Wire 服务端。 它涵盖了运行系统所需的核心微服务与库，包括反向代理、账户与团队管理、会话处理、文件资产存储、推送通知及单点登录（SSO）等功能。

在 MSYS2 环境下为 MinGW-w64 目标构建软件的打包脚本仓库。

用于克隆 Git 仓库并保持与上游同步的 Sidecar 辅助应用。

面向新手的 Arch Linux 教程，含双系统、驱动、桌面、输入法、游戏及虚拟机等配置指南。

为 Neovim 插件提供 Nerd Font 图标字符支持的扩展插件。

一本关于 Zig 编程语言的开源技术入门书籍。

基于 Elixir 的高并发、多阶段数据摄取与处理框架。

〔中文简介暂未生成〕 Slick (Scala Language Integrated Connection Kit) is a modern database query and access library for Scala

Scalatra 是一款受 Sinatra 启发的极简、高性能 Scala 异步 Web 框架。它主要解决快速构建轻量级 Web 应用与接口的问题，核心提供简单直观的路由定义语法，支持 javax 与 jakarta 规范，并可配合 Jetty、Swagger 及 JSON 扩展使用。