搜索结果：c（422 个）

clash-compiler 将 Haskell 编写的硬件设计编译为可综合的 VHDL、Verilog 或 SystemVerilog。核心功能：强类型推导、交互式 REPL 免测试平台调试、高阶函数参数化设计，及类型安全的多时钟域支持。

开源轻量级分布式任务调度平台与框架。

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

Twirl 是 Play 框架默认的模板引擎，也可在 Scala 或 Java 项目中脱离 Play 独立使用。它主要用于高效构建 Web 页面和文本输出，核心功能是将 HTML、JS、XML 或 TXT 等模板文件自动编译生成标准的 Scala 源代码，并提供 sbt 与 Maven 插件支持无缝集成构建。

jackson-module-scala 解决了 Jackson 默认无法良好兼容 Scala 特有数据结构的问题。作为官方扩展模块，它为 Scala 提供序列化与反序列化支持，原生适配样例类（Case Classes）、Option、Tuple、集合（Seq/Map）及枚举等类型。支持 Scala 2 和 3，注册到 ObjectMapper 即可无缝处理 JSON、XML 等格式。

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

〔中文简介暂未生成〕 Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

〔中文简介暂未生成〕 Yet another JSON library for Scala

Baker 是一个微服务业务流程编排库。它基于 Petri 网概念，解决复杂微服务调用与流转难以管理和协同的问题。核心功能是提供 Java/Kotlin/Scala DSL 将流程声明为由交互、数据和事件组成的“配方”，支持可视化展示，并能跨团队复用交互组件。

Stack 是用于开发 Haskell 项目的跨平台工具。它旨在解决 Haskell 开发环境与依赖管理问题，全面支持 Linux、macOS 和 Windows。无论是新手还是资深开发者，都可以通过它轻松搭建、构建和维护 Haskell 项目。

微信公众号 AI 知识库工作流 Agent 平台与 RAG 客服机器人。

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

kaitai_struct_compiler 是 Kaitai Struct 的官方参考编译器。它解决了不同编程语言中解析二进制格式需重复编写解析代码的问题。核心功能是将用 `.ksy` 声明式语言描述的二进制数据结构，自动编译生成 C++、Java、Python、Go、Rust 等多种目标语言的解析器代码，并提供开箱即用的访问 API。

面向逆向工程与渗透测试的技能路由包，支持 AI 路由与按需引导工具链。

Neut 是一个采用静态内存管理的函数式编程语言。它解决了传统函数式语言依赖 GC 的内存开销问题，在无需额外类型注解的情况下，实现可预测的、基于类型的内存管理。项目支持完整 λ 演算，可编译为 LLVM IR 和原生二进制，并内置 LSP、代码格式化与快速原型开发支持。

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

recheck 是一款值得信赖的 ReDoS（正则表达式拒绝服务攻击）检测工具。它主要用 Scala 开发，旨在解决不安全正则导致的性能崩溃或安全漏洞问题。其核心功能是分析和检测正则表达式中的 ReDoS 风险，并提供相关 ESLint 插件以保障代码安全。

refined 是一个 Scala 精细类型库。它通过类型级谓词约束数值范围，解决常规类型无法表达具体取值限制的问题。核心功能包括：在编译期通过宏校验字面量合法性并报错；在运行期校验动态数值；以及提供类型推断规则，支持在编译期安全转换兼容的精细类型。

zio-json 是专为 Scala 生态打造的高性能、安全型 JSON 库，与 ZIO 紧密集成。它解决了传统 JSON 库编译慢、抵御恶意载荷能力弱的问题，提供极快编解码速度、安全防护、清晰的报错信息与轻量设计，且跨平台支持 Scala.js 和 Scala Native。

LiquidHaskell 是面向 Haskell 的形式化验证工具。它通过引入细化类型（Refinement Types）并结合 Z3 等 SMT 求解器，帮助开发者对代码逻辑进行严格的形式化验证。它可以作为 GHC 插件直接运行，从而在编译期检查程序性质并发现潜在错误。