搜索结果：im（46 个）

〔中文简介暂未生成〕 An experimental proof assistant based on a type theory for synthetic ∞-categories.

PC 端《边狱公司》（Limbus Company）日常任务一键辅助小工具。

专为 Neovim 打造的开源免费 IDE 配置层，完全由社区驱动。

针对某二次元动漫游戏的服务端软件开源重现版本。

Unity 机器学习智能体工具包，可将游戏和模拟环境作为深度强化学习的训练平台。

一款处于极早期实验阶段的开源 Switch 2 模拟器，衍生自 Eden 和 Yuzu 等项目，支持跨平台运行。

由社区维护的 Python 数学与科学解释动画制作框架。

Onyx 是一款音乐节奏游戏工具包，主要用于简化《摇滚乐队》（Rock Band）、《吉他英雄》（Guitar Hero）及《Clone Hero》等游戏的自制谱面流程。其核心功能是处理歌曲谱面的构建、数据格式转换与各类变换，并提供歌曲预览等实用工具。

Lichii 是一款实验性开源 Switch 及 Switch 2 模拟器，基于 C++ 编写，用于在电脑上模拟运行相关主机游戏。

基于 Web 的交互式查看器，用于展示《棕色尘埃 2》的 Live2D 和 Spine 动画。

Discourse 是一个开源的现代化社区讨论平台，旨在帮助团队或社群轻松搭建属于自己的论坛。 **核心功能：** - **话题讨论与实时聊天**：支持创建讨论主题，并内置即时聊天功能； - **丰富扩展**：支持自定义主题外观，并提供 AI 机器人、数据分析等插件扩展； - **自由部署**：支持完全自主掌控的独立部署，也提供官方托管服务。

随手可调用的完整 AI 团队，汇集前端专家、社区运营等具备专属流程的 Agent。

自托管的专属 Grok Companion，将赛博虚拟生命带入现实，目标比肩 Neuro-sama，支持实时语音聊天。

由社区维护、用于在容器平台上部署 Nextcloud 的 Docker 微镜像。

用于快速、简便部署和管理 Linux 专用游戏服务器的命令行工具。

简单易用的开源游戏开发库，让视频游戏编程轻松上手。

面向《原神》玩家的游戏工具，支持 Windows 和 macOS。

复刻《红色警戒》等早期西木 RTS 游戏的开源引擎，基于 C#、SDL 和 OpenGL 开发。

由社区维护的 macOS 系统安全加固与隐私保护实用指南。

Minecraft Java 版 Docker 镜像，启动时可自动安装与更新版本、模组加载器及整合包。