搜索结果：mod（554 个）
按分类缩小范围
opencv_contrib
综合 41
OpenCV 的扩展模块代码仓库。
ecode
综合 41
专为现代硬件设计的轻量级跨平台代码编辑器，注重响应速度与性能。
whisper.cpp
综合 40
OpenAI Whisper 语音识别模型的 C/C++ 高性能移植实现。
raddebugger
综合 40
一款原生、用户态、多进程的图形化调试器。
FreeRTOS
综合 40
经典 FreeRTOS 发行版，源自 SourceForge SVN 仓库，以子模块形式包含内核。
akka-http
综合 40
akka-http 是基于 Akka 的流优先（Streaming-first）HTTP 工具包，非传统 Web 框架。它解决构建高响应、高弹性分布式服务时的 HTTP 通信问题，提供完整的服务端与客户端栈，支持 HTTP/2 及 WebSocket，并提供多层级抽象 API 供灵活调用。
Stalker_GAMMA
综合 40
面向《S.T.A.L.K.E.R. Anomaly》的 G.A.M.M.A. 整合模组包。
garrysmod
综合 40
基于 Source 引擎的沙盒物理模组游戏。
dokany
综合 40
Dokany 是一个 Windows 用户态文件系统库，相当于 Windows 版的 FUSE。它让开发者无需编写复杂的内核态驱动，就能直接在用户态创建自定义文件系统；同时自带 FUSE 包装器，支持将 Linux FUSE 文件系统无缝移植到 Windows。
HLA-NoVR
综合 40
《半条命：爱莉克斯》的免 VR 模组。
smods
综合 40
《小丑牌》(Balatro) 的模组开发框架。
codebattle
综合 40
程序员对战游戏，可与其他玩家实时在线比拼算法题，支持单人对战与大型锦标赛。
Sky-CotL-Scripts
综合 40
游戏《光·遇》（Sky: Children of the Light）的公开 Mod 脚本集合。
FS25_AutoDrive
综合 40
《模拟农场 25》(FS25) 版本的 AutoDrive 模组
tasty
综合 40
Tasty 是 Haskell 的现代化测试框架。它解决了各类测试难以统一管理的问题，能将单元测试、Golden 测试及 QuickCheck 等属性测试整合进同一个测试套件。核心功能包括多测试并发执行且确定性输出、命令行模式过滤、层级着色统计展示、跨测试资源管理及高度可扩展性。
NevermoreEngine
综合 40
面向 Roblox 游戏开发的模块加载引擎，提供统一易用的服务端与客户端模块。
apalache
综合 40
Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。
gluon
综合 40
用于构建基于 OpenWrt 的无线 Mesh 网络节点固件的模块化框架。
Lmod
综合 40
基于 Lua 的环境模块系统，支持读取 TCL 模块与软件层级管理。
xmonad-contrib
综合 40
xmonad-contrib 是由社区维护的 XMonad 窗口管理器扩展库（基于 Haskell）。针对 xmonad 核心极简的设计，它提供了数百种额外的平铺布局算法和功能扩展模块，让开发者能按需自由定制，打造专属的 X11 窗口管理器。