at

通过约束求解实现汇编超级优化

一个源代码级别的GameCube与Wii兼容层

使用Terraform部署Databricks资源的示例

面向AI代理的浏览器自动化、网页爬取及iOS+Android设备控制。基于Zig原生实现、支持Token高效型CDP快照、HAR录制、原生ADB有线协议客户端及独立抓取工具。

🤖 Telegram 机器人 API PHP SDK 4.x。使用 PHP 轻松创建 Telegram 机器人！[开发中]

基于任务的工作流编排引擎。

基于工作流程的协作式机器学习数据分析

用于电力系统优化仿真与建模的Julia

Balatro多人游戏模组

此GitHub Action针对基础设施即代码、开源软件包、容器镜像和CI/CD配置运行Checkov，以识别错误配置、漏洞和许可证合规性问题。

NextPlaid与ColGREP：多向量搜索，从数据库到编码智能体。

基于Ghostty的SSH客户端，适用于iOS、iPad和MacOS。

Julia中多种自动微分后端的统一接口

基于 Nuxt UI 和 Vercel AI SDK 构建的 Nuxt AI 聊天机器人模板。

GPL-3.0 开源的 IDM Activation Script 中文版：Windows 批处理脚本，支持 IDM 试用期冻结、普通激活、重置和环境自检

为C、C++、Go、Rust、Wasm和Zig提供无缝的缺陷检测

Zcash改进提案

支持自动微分的高性能非线性求解器（牛顿法）与区间求根法（二分法、试位法），具备稀疏矩阵与牛顿-克雷洛夫法支持

“缺失的GitHub状态页面”——一种基于Flat Data方法对GitHub状态进行历史记录尝试

一个旨在提供使用GoAnimate/Vyond旧版视频制作器方法的项目

计算代数数论

创建Cloud SQL数据库实例

Krea 2, MiniMax & Klein 9B LoRA - LoKR Studio — train, profile, repair, and extract Krea 2, Flux 2 Klein 9B & MiniMax LoRAs & LoKRs

比亚迪DiLink 5.0的安卓应用：来自BMS的真实油耗、GPS行程、充电日志、自动化规则、悬浮小部件、AI洞察。支持中英双语。已在豹3/方程豹豹3上测试。