搜索结果：os（287 个）

封装为 Postgres 扩展的时序数据库，支持高性能实时分析。

基于 Elixir 的高可靠后台任务处理框架，支持 PostgreSQL、SQLite3 和 MySQL。

专为不可预测增长负载打造的分布式数据库，原生支持事务、分析与向量搜索。

sbt-updates 是一款用于检查项目依赖版本的 sbt 插件。它能从 Maven 等仓库获取元数据，检测项目依赖及 sbt 插件是否有新版本可用，并兼容交叉编译版本。核心功能包括在终端展示可升级依赖、导出更新报告、支持依赖过滤及有更新时自动阻断构建。

基于 P2P WireGuard 的零信任网络平台，在任意网络中安全连接人员、设备与 AI Agent。

基于 Golang 与 Flutter 开发的高速跨平台下载器，支持 HTTP、BitTorrent、磁力链接与 ed2k。

单二进制部署的高性能自建邮件列表与 Newsletter 管理工具，含现代看板。

基于 Meteor 构建的开源看板工具。

基于 LLM 的多市场股票分析工具，能整合多源行情与新闻，生成决策看板并自动推送分析结果，支持零成本定时运行。

兼顾灵活性、高效性与跨平台特性的 Rust 深度学习框架。

面向云原生环境的多租户 Postgres 连接池工具。

Tamarin prover 是一个用 Haskell 开发的安全协议验证工具。它主要解决网络和安全协议的安全性分析与形式化验证问题。核心功能包括支持复杂协议的模型构建与分析、提供图形化输出展示、内置大量协议案例，并配套 Tree-sitter 语法及常见编辑器的语法高亮支持。

cabal2nix 是一款能将 Haskell 的 Cabal 构建文件自动转换为 Nix 构建指令的工具，解决了在 Nix 生态中打包 Haskell 项目时的定义编写问题。它还包含用于生成 nixpkgs 中 `haskellPackages` 包集合的 hackage2nix 等核心组件。

Play JSON 是一个用 Scala 编写的强大 JSON 库。它不依赖 Play 框架，底层使用 Jackson 解析。主要解决 Scala 应用中 JSON 解析、序列化与对象映射的需求。核心功能包括内置完整的 JSON AST、与样例类互转，以及提供便利的 DSL 操作符（如 `\`）快速查询和遍历 JSON。

基于 FastAPI 与 React 的全栈 Web 模板，集成 SQLModel、PostgreSQL、Vite 及 Docker Compose。

微软官方出品，针对 1-bit LLM 的推理框架。

基于 WinUI 的跨平台 YouTube Music 客户端，支持无损播放和发烧级音频功能。

〔中文简介暂未生成〕 A platform to build and run apps that are elastic, agile, and resilient. SDK, libraries, and hosted environments.

一站式弹幕追番平台，支持 Bangumi 同步、离线缓存与 BT 下载，基于 Kotlin 开发。

微信团队开源的高性能、跨平台移动数据库框架。