at

合成患者群体模拟器

一个用于应用开发、时间旅行式报告和数据合规性的不可变SQL数据库。由@juxt开发

全球最强大的开源数据目录，用于构建高性能、地理分布式和联邦式元数据湖。

Kani Rust Verifier

🚀 AI全自动短视频引擎

Spring Batch是一个使用Java和Spring编写批处理应用程序的框架

成为顶尖的人工智能与机器学习研究工程师

Dart语言设计

自学习智能体的上下文数据平台。为智能体提供存储、观察与学习的统一场所。旨在简化上下文工程，提升智能体可靠性与任务成功率。

嵌入式模板库

AxonHub是一个现代化的AI网关系统，提供统一的OpenAI、Anthropic、Gemini及AI SDK兼容API接口

快速、免费且可自定义的图片查看器

EspoCRM – 开源客户关系管理应用

用于量子抗密码学原型设计和实验的C语言库

Apache CloudStack 是一款开源的基础设施即服务（IaaS）云计算平台。

适用于Windows的开源远程管理工具C#版本

PlayStation 2 静态重编译器与运行时工具，用于制作原生 PC 移植版本。

使用IP-Tracer追踪任意IP地址。IP-Tracer专为Linux和Termux开发，您可以通过它获取任何IP地址的信息。

适用于 iOS、Mac Catalyst、macOS 和 tvOS 的 .NET 提供 Apple SDK 的开源绑定，可与 C# 等 .NET 托管语言配合使用

基于网页命令行的硬件渗透工具 支持全协议通信

LAMMPS分子动力学软件包的公共开发项目

TLC 是一款用于检查 TLA+ 语言所编写规格的模型检查器。TLA+Toolbox 是 TLA+ 的集成开发环境。

🔥 GitHub 个人资料徽章与成就完整清单 🔥

适用于 Parse 平台的苹果 SDK（iOS、macOS、watchOS、tvOS）