把深度学习模型编译到 CPU、GPU 及各类加速器上运行的开源编译器框架,通过统一中间表示和自动调优提升推理性能。
把 TypeScript 编译器 API 封装成更好用的接口,方便做静态分析和用代码批量修改 TypeScript 源码。
兼容 Kafka API 的流式数据平台,用 C++ 重写,无需 ZooKeeper 和 JVM,性能比 Kafka 快约 10 倍,适合替换现有 Kafka 集群。
基于 libvips 的高性能 HTTP 图片处理微服务,支持裁剪、缩放、水印和格式转换,Docker 一键部署,适合给后端提供统一的图片处理接口。
在浏览器里跑完整 x86 PC 的模拟器,带 x86 到 WebAssembly 的 JIT 编译器,可直接启动 Linux 等系统。
飞桨核心框架,提供深度学习与机器学习的高性能单机及分布式训练能力,并支持跨平台部署,适合工业级模型开发。
基于 rizin 的开源逆向工程图形界面平台,把反汇编、调试和二进制分析整合到可视化界面里,适合做恶意样本分析和漏洞研究。
基于 C# 的跨平台游戏开发框架,一套代码即可把 2D/3D 游戏发布到桌面、移动端和主机,省去多平台适配的重复工作。
Staticcheck 是 Go 语言的进阶静态分析工具,能查出编译器发现不了的 bug、性能问题和可疑代码,帮你在上线前把隐患拦下来。
面向 MoE 模型的高效专家并行通信库,专门优化 GPU 间 all-to-all 分发与合并,降低大规模稀疏模型训练和推理的通信开销。
用 Go 写的跨平台 RPA 与 GUI 自动化库,能控制鼠标键盘、截屏找图、监听事件,适合做桌面自动化和自动化测试。
用 Python 解析 Android 应用,反编译 DEX 字节码、分析权限与组件,做逆向和渗透测试时不用再手动拆包。
用 Lua 编写的轻量级文本编辑器,启动快、占用低,适合想要简洁可扩展编辑体验的开发者。
轻量模块化的 C++11 图形中间件,帮游戏和数据可视化项目快速接入 OpenGL、Vulkan 等底层图形接口,省去自己搭渲染管线的麻烦。
在编译期捕获 Java 常见错误的静态分析工具,把容易写错的代码模式直接变成编译报错,帮团队在提交前就拦住低级 bug。
一键识别并翻译漫画、图片中的文字,自动完成 OCR、机器翻译和文字区域修复,适合给日漫或外文图片做批量汉化。