搜索结果：v（526 个）

Ogma 是面向飞行器和机器人系统的运行时监控器生成工具，解决安全监控难以集成到外部系统的难题。它基于 Copilot，可为 NASA cFS、ROS 和 F' 生成监控应用或组件，支持从 Graphviz、Mermaid 等图表生成监控器，并自动生成 C 结构体胶水代码。

基于 Python 的复杂网络与图结构分析库。

支持可插拔连接器的 OpenID Connect (OIDC) 身份与 OAuth 2.0 提供商。

Scala Steward 是一个自动化依赖更新机器人，解决手动排查和升级依赖耗时费力的问题。它能定期检查项目依赖与构建插件的版本更新，并自动提交 PR。支持 sbt、Maven、Mill、Scala CLI 等构建工具及 Giter8 模板。

支持自托管的协作书签管理器，可一站式收集、阅读、批注和完整存档网页。

开源的功能开关（Feature Flags）与功能发布管理平台。

面向可观测性的云原生开源搜索引擎。

像粘合剂一般灵活的开源身份验证与访问管理解决方案。

开源的状态页、服务正常运行时间监控和故障应急响应工具。

Monoscope 是基于 Haskell 开发的开源可观测性平台，解决遥测数据存储成本高、检索难的问题。它支持将日志、指标和链路追踪低成本存入兼容 S3 的存储桶；核心功能包括原生 OpenTelemetry 集成、实时流式查看、大模型自然语言查询，以及通过 AI Agent 自动检测异常并发送报告。

适用于微服务场景的可靠分布式配置管理系统。

将电子书转换为有声书，支持 50 多种 TTS 引擎、声音克隆及 1696 种语言。

轻量级一站式 Java 权限认证框架，覆盖登录认证、分布式 Session、SSO 与微服务鉴权。

通过添加 URL 前缀，将任意网页转换为适合 LLM 读取的输入格式。

一款应用仪表盘与快速启动器。

Micronaut 现代轻量级应用程序开发框架。

聚焦自建部署的网络隧道软件精选列表，包含 ngrok、Cloudflare Tunnel 等工具的替代方案。

纯 C99 实现的 Kimi K3 推理，无需 GPU、BLAS 或任何框架，单 CPU 和 8.24 GB 内存即可运行。

专为 Kubernetes 打造的安全、轻量现代化 Linux 发行版。

专为云原生和容器化打造的超轻量、高性能 Java 框架。