搜索结果：c（1720 个）

纯 Lua 编写的 Lua 代码混淆器。

Frax 协议的 Solidity 实现。

`contract-deployments` 是 Base 智能合约部署、升级与调用的执行管理仓库。它按“待办、预审、归档”管理 EVM 操作的全生命周期任务；并通过 mise 严格锁定 Foundry 等工具链版本，确保协作者环境统一，防止签名与部署产物不一致。

《明日方舟》速通工具。

《Ultima VII: The Black Gate》的替代引擎（未来将支持 Serpent Isle），提供全新视角及其他改进。

该项目是 Exercism 平台的 Haskell 语言练习题库与技术实现。它为学习 Haskell 的开发者提供结构化的编程练习，包含概念练习、实践题目、配套测试用例、基础存根代码及参考解答，帮助开发者通过针对性的实战编码与自动化测试掌握 Haskell 编程。

用于解除 RTX 20/30/40 系列半速限制的工具，解锁 Tensor Core 算力，最高可提升 2 倍 AI 计算吞吐。

Ox 是面向 Scala 3 和 JDK 21+ 的并发与流处理库。它基于 JVM 虚拟线程，让开发者无需复杂的异步语法，就能以直观的“直接风格”编写高并发代码。核心功能包括结构化并发（安全管理生命周期与异常）、带背压的流处理，以及熔断、重试、限流等容错韧性机制。

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

Android 平台的开源定制与获取 Root 权限的“面具”工具。

一款将 PS5 可执行文件自动移植到 Linux 和 Windows 的工具，无需模拟器，可将其转为目标系统的原生格式运行。

互联网广告黑洞，用于在网络层拦截和屏蔽各类广告。

spark-solr 是由 Lucidworks 开源的 Spark 与 Solr 集成工具。它主要解决两者之间的数据互通问题，核心功能包括：将 Solr 中的数据读取为 Spark DataFrame 或 RDD 进行分布式处理，以及利用 SolrJ 将 Spark 中的对象数据批量索引写入 Solr。

Hardhat 插件，支持以相同确定性地址跨多条 EVM 链部署智能合约。

ducktape 是一款专为 Scala 3 设计的无样板类型转换库（灵感来自 chimney）。它主要解决相似数据模型间手动映射繁琐的问题，能在编译期自动、可定制地实现结构相似的 case class、sealed trait 和 enum 之间的无缝转换。

vector 是一个高性能的 Haskell 数组库，旨在解决原生数组 API 复杂且低效的问题。它提供类似列表的友好接口与 O(1) 索引访问，支持可变及不可变形式，涵盖装箱、未装箱、Storable 和原始等多种向量类型，并通过 Stream Fusion 框架优化循环、消除中间结构。

〔中文简介暂未生成〕 Family Accounting Tool

作者自用的 Nix Flake 配置，包含持续演进的系统、开发环境与工具设置。

`containers` 是 Haskell 官方的核心数据结构库。它解决了开发者需要高效组织和处理数据的通用需求，提供了树、图、集合（Set）、序列（Sequence）以及键值映射（Map）等多种开箱即用的具体容器类型与常见操作接口。

〔中文简介暂未生成〕 A tool for data sampling, data generation, and data diffing