搜索结果：im（363 个）
按分类缩小范围
copilot
综合 64
Copilot 是一个基于 Haskell 的硬实时系统运行时验证框架。它解决嵌入式和硬实时系统在运行时的安全监测与正确性验证难题。核心功能支持用流式语言编写高级规范，并能将其生成时间与内存恒定的 C99 监控代码，同时提供测试解释器和定理证明支持。
Paper
综合 64
高普及度的高性能 Minecraft 服务端，致力于修复玩法漏洞并提升运行效率。
Activiti
综合 64
轻量级工作流与业务流程管理（BPM）平台，核心采用高速 BPMN 2 引擎。
Pixelle-Video
综合 64
开源的 AI 全自动短视频生成引擎。
PySimpleGUI
综合 64
直观易用的 Python GUI 库，简化 tkinter/Qt/WxPython/Remi，V6 版采用 LGPL3。
tgDrive
综合 63
基于 Telegram Bot 的文件上传、分享、图床与网盘系统。
Mailspring
综合 63
支持 Mac、Windows 和 Linux 的开源邮件客户端，美观且快速。
pglite
综合 63
轻量级嵌入式 Postgres，支持实时响应式数据绑定。
unleash
综合 63
开源的功能开关（Feature Flags）与功能发布管理平台。
deeplearning4j
综合 63
基于 JVM 的深度学习训练与部署工具套件，支持导入 Keras、TensorFlow、ONNX/PyTorch 等模型。
mastg
综合 63
OWASP 移动应用安全测试指南（MASTG），提供移动 App 安全测试和逆向工程的全面技术手册。
让 Opencode 通过 OAuth 连接 Antigravity，以使用其额度访问 gemini-3-pro 等模型。
CogVideo
综合 63
文本与图像生成视频的大模型项目，包含 CogVideoX 与 CogVideo。
tsx
综合 63
在 Node.js 中快速运行 TypeScript 代码的简便执行工具。
theia
综合 63
基于 TypeScript 实现的现代化云端与桌面端跨平台 IDE 开发框架。
chromedp
综合 63
通过 Chrome DevTools Protocol 驱动和控制浏览器的快速、轻量方案。
undetected-chromedriver
综合 62
免配置的定制版 Selenium Chromedriver，可绕过各类反爬和机器人防护系统。
pua
综合 62
面向 AI Agent 的高能动性提示词 Skill，模拟职场 PUA 与 PIP 风格激发潜力。
bore
综合 62
极简的 CLI 内网穿透工具，可快速将本地服务映射到公网。
react-testing-library
综合 62
简单且完善的 React DOM 测试工具库，倡导良好的测试实践。