搜索结果：c（5602 个）

Tamarin prover 是一个用 Haskell 开发的安全协议验证工具。它主要解决网络和安全协议的安全性分析与形式化验证问题。核心功能包括支持复杂协议的模型构建与分析、提供图形化输出展示、内置大量协议案例，并配套 Tree-sitter 语法及常见编辑器的语法高亮支持。

通过增强的 Tab 作用域管理，革新你的 Neovim Tab 工作流。

docker-library 中 Docker 官方镜像的文档仓库。

SynapseML（原 MMLSpark）是基于 Apache Spark 的分布式机器学习库，主要解决大规模数据下构建 ML 流水线复杂度高的问题。它无缝兼容 SparkML API，支持在弹性集群上分布式训练，覆盖文本分析、计算机视觉、异常检测及深度学习等任务，并支持 Python、Scala 等多语言调用。

开箱即用、省心易配的 Spotify Connect 客户端。

Knative 各组件的官方用户文档仓库。

Mintimate 打造的 Rime 输入法简易配置模板。

结合 WireGuard、Pi-hole 和 Unbound 的 docker-compose 方案，助你快速搭建隧道服务。

纯 Bash 编写的行编辑器，为交互式会话提供语法高亮、自动补全和 Vim 模式等支持。

灵活且高效的 ZSH 插件管理器。

针对复杂决策的结构化多视角审议工具，支持在 Claude Code、Codex、Gemini CLI 等间组织辩论。

基于多种调度器并包含多项性能优化的 Arch Linux 内核。

Chisel 是一个嵌入在 Scala 语言中的现代开源硬件描述语言（HDL）。它解决了传统硬件设计复用难、抽象层次低的问题，允许开发者借助 Scala 编写高可参数化的电路生成器，并能生成可综合的 Verilog 代码，适用于 ASIC 和 FPGA 数字逻辑设计。

Paper 的分支项目，为专用服务器引入了区域化多线程支持。

速度极快且支持模块化扩展的 Zsh 配置框架。

《主题医院》（Theme Hospital）的开源复刻版。

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

〔中文简介暂未生成〕 Your favorite language gets closer to bare metal.

〔中文简介暂未生成〕 Principled Functional Programming in Scala

面向现代 Web 的轻量且强大的服务器管理面板。