搜索结果：r（419 个）

Cryptol 是一种专为密码学算法设计的形式化规范语言及解释器，用 Haskell 编写。它解决了密码学规范难以验证与执行的问题，具备完全可执行性；支持通过随机向量测试算法，并能调用 Z3 等 SMT 求解器进行形式化证明，确保算法的正确性。

阿里云计算平台团队出品、专为监控而生的高性能数据库连接池。

eff 是一个面向 Scala 的函数式编程库。它旨在替代复杂的单子变换器（Monad Transformers），解决多重副作用组合繁琐的问题。核心提供基于“Freer Monad”的可扩展副作用（Eff monad），开箱支持 Reader、Writer、State 等常用效果，并允许开发者自定义副作用栈。

nix-vscode-extensions 解决了 Nixpkgs 中 VS Code 插件数量少且更新滞后的痛点。该项目通过每日自动抓取，为 VS Code 市场及 Open VSX 上的海量插件提供最新的 Nix 表达式封装（Flake），方便开发者用 Nix 管理并安装主流平台（Linux、Darwin）的插件。

积木报表：涵盖报表、大屏、仪表盘与 Chat2BI 的一站式开源数据分析平台。

为优秀的 Chrome 插件编写的中文说明书与推荐指南。

免费下载《经济学人》（含音频）、《纽约客》等英文原版杂志，支持 EPUB、MOBI、PDF，每周更新。

基于 Rust 开发的文档生成工具，可将 Markdown 文件制作为电子书，类似 GitBook。

Project:M36 是一个纯 Haskell 开发的关系代数引擎，旨在解决传统 DBMS 偏离数学原理、不够严谨的问题。它严格遵循纯正的关系代数，支持 TutorialD 与 SQL 交互，可用作进程内或远程数据库后端，适合学习关系代数与规范化数据存储。

saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。

〔中文简介暂未生成〕 Super type-safe CSS for Scala and Scala.JS.

针对传统 man 手册过于冗长复杂的问题，tldr 提供了由社区维护的命令行速查表。它摒弃繁杂说明，聚焦于最实用的命令示例，涵盖 Linux、macOS、Windows 等多系统的常用工具，帮助开发者迅速上手命令，支持多种客户端和网页查阅。

基于 AI 完整保留排版的 PDF 文档双语翻译工具，支持多种翻译服务与多端接入。

〔中文简介暂未生成〕 Native Scala mocking framework

ZIO Prelude 是专为 Scala 设计的轻量级函数式抽象库，可替代 Cats 或 Scalaz。它抛弃了传统复杂的函子层级，深度融合 Scala 子类型特性与 ZIO 生态，提供常用代数抽象与实用数据类型（如 NonEmptyList、Validation 等），帮助开发者更简单、务实地组合类型与处理数据。

中国程序员容易发音错误的单词汇总。

Frontend 是《卫报》（The Guardian）网站的后端服务系统。它基于 Scala 和 Play 框架构建，核心功能是处理并生成结构化 JSON 数据，提供给前端渲染服务（Dotcom Rendering）展示页面，同时严格保障响应速度与单次 I/O 限制等高性能指标。

面向 AI Agent 的独立审计工具，可人工或自主运行以核验执行是否符合预期。

Claude Code 插件，可实时展示上下文用量、调用工具、运行中 Agent 和待办进度。

飞书/Lark 官方 CLI 工具，专为人类与 AI Agent 打造，覆盖消息、文档、多维表格、日历等核心业务。