每日 每周 每月
2026-03-16
返回报告
🏷️

#high-performance 每日趋势报告

📅 2026-03-16
📊 2 个项目

🔥 #high-performance 每日热门项目

tlaplus/tlaplus

Java

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

algorithms high-performance java
tlaplus
tlaplus 开发者
2.8k
243
133
+24
排名 #13
3月16日
查看详情

apache/pekko

Scala

使用Java/Scala构建高并发、分布式且具备容错能力的消息驱动型应用程序

actor-model cloud-native concurrency
apache
apache 开发者
1.5k
194
285
+1
排名 #9
3月16日
查看详情

📊 数据统计

2 个热门项目
2026-03-16 数据日期

🔥 TrendForge - 追踪开源项目热度，发现技术趋势

助手