ca

话题找到数量

apache/gravitino

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

2.9k
796
263
+55
排名 #19
4月11日
查看详情

model-checking/kani

Kani Rust Verifier

2.9k
141
131
+9
排名 #9
2月14日
查看详情

geo-tp/ESP32-Bus-Pirate

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

2.9k
234
175
+354
排名 #22
3月14日
查看详情

dart-lang/language

Dart语言设计

2.9k
234
175
+16
排名 #14
4月8日
查看详情

haskell/haskell-language-server

通过语言服务器协议提供官方Haskell集成开发环境支持

2.9k
431
240
+16
排名 #12
3月17日
查看详情

ETLCPP/etl

嵌入式模板库

2.9k
504
213
+5
排名 #5
3月3日
查看详情

espocrm/espocrm

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

2.9k
826
206
+21
排名 #24
4月8日
查看详情

rajkumardusad/IP-Tracer

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

2.8k
514
125
+3
排名 #19
3月29日
查看详情

tlaplus/tlaplus

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

2.8k
243
139
+24
排名 #13
3月16日
查看详情

rpng/open_vins

一个用于视觉惯性导航研究的开源平台。

2.8k
815
125
+4
排名 #19
3月17日
查看详情

frappe/lms

易于使用、100%开源的学习管理系统

2.8k
1.2k
241
+30
排名 #16
4月7日
查看详情

netwrix/pingcastle

PingCastle - 用20%的时间达成80%的Active Directory安全评估

2.8k
333
172
+7
排名 #21
2月11日
查看详情

SakiRinn/LiveCaptions-Translator

基于Windows LiveCaptions的轻量级强大实时音频/语音翻译工具

2.7k
188
194
+378
排名 #15
4月11日
查看详情

com-lihaoyi/mill

面向Java、Scala和Kotlin的更优构建工具:比Maven或Gradle快3-6倍,减少插件配置困扰,并可在IDE中更便捷地探索

2.7k
432
247
+32
排名 #18
2月24日
查看详情

TencentCloud/TIMSDK

腾讯云即时通信提供全球化接入、单聊、群聊、消息推送、资料与关系链托管及帐号鉴权等完整解决方案。

2.7k
2.7k
121
排名 #11
3月22日
查看详情

openstreetmap/openstreetmap-website

支撑OpenStreetMap运行的Rails应用程序

2.7k
1k
136
+7
排名 #19
4月7日
查看详情

slick/slick

Slick(Scala语言集成连接套件)是一个用于Scala的现代化数据库查询与访问库

2.7k
619
246
排名 #9
1月26日
查看详情

CachyOS/linux-cachyos

基于不同调度器并包含其他性能改进的 Archlinux 内核

2.7k
92
163
+284
排名 #14
1月31日
查看详情

compose-spec/compose-spec

Compose 规范

2.7k
780
149
+3
排名 #18
4月9日
查看详情

MaikuB/flutter_local_notifications

一个用于在 Android、iOS、macOS、Linux 和 Windows 上显示本地通知的 Flutter 插件

2.6k
1.6k
253
排名 #5
2月20日
查看详情

awslabs/agentcore-samples

Amazon Bedrock Agentcore 以规模化、可靠性和安全性加速 AI 智能体投入生产,这对实际部署至关重要。

2.6k
1k
76
+6
排名 #3
4月11日
查看详情

PranshulGG/WeatherMaster

安卓天气应用 🌦🌞☔

2.6k
106
184
+27
排名 #16
3月12日
查看详情

SolaceLabs/solace-agent-mesh

事件驱动框架:专为构建与编排多智能体AI系统设计,实现AI智能体与现实世界数据源及系统的无缝集成,支持复杂多步骤工作流。

2.6k
143
101
+16
排名 #16
3月27日
查看详情

SharpAI/DeepCamera

开源AI相机技能平台,AI网络视频录像机与闭路电视监控系统。

2.5k
410
107
+45
排名 #4
3月23日
查看详情
助手