搜索结果:os(284 个)
按分类缩小范围
realtime
综合 53
基于 WebSocket 提供广播、在线状态感知及 Postgres 变更监听服务。
interview
综合 53
全面的 C/C++ 技术面试基础知识与求职经验总结。
mobile_scanner
综合 53
通用 Flutter 条码与二维码扫描插件,支持 Android、iOS、macOS 及 Web。
ArkhamHorror
综合 53
ArkhamHorror 是一款非官方的《诡镇奇谈:卡牌版》(LCG)网页端游戏实现。它严格还原实体桌游规则,支持最多 4 人联机或单人游玩;支持从 ArkhamDB 等站点导入牌组,内置大量官方战役与社区自制内容,并提供预构建包和 Docker 一键部署。
dicedb
综合 52
基于 Valkey 的开源低延迟键值引擎,支持查询订阅与分层存储。
oban
综合 52
基于 Elixir 的高可靠后台任务处理框架,支持 PostgreSQL、SQLite3 和 MySQL。
tidb
综合 52
专为不可预测增长负载打造的分布式数据库,原生支持事务、分析与向量搜索。
sbt-updates
综合 52
sbt-updates 是一款用于检查项目依赖版本的 sbt 插件。它能从 Maven 等仓库获取元数据,检测项目依赖及 sbt 插件是否有新版本可用,并兼容交叉编译版本。核心功能包括在终端展示可升级依赖、导出更新报告、支持依赖过滤及有更新时自动阻断构建。
netbird
综合 51
基于 P2P WireGuard 的零信任网络平台,在任意网络中安全连接人员、设备与 AI Agent。
gopeed
综合 51
基于 Golang 与 Flutter 开发的高速跨平台下载器,支持 HTTP、BitTorrent、磁力链接与 ed2k。
listmonk
综合 51
单二进制部署的高性能自建邮件列表与 Newsletter 管理工具,含现代看板。
wekan
综合 51
基于 Meteor 构建的开源看板工具。
基于 LLM 的多市场股票分析工具,能整合多源行情与新闻,生成决策看板并自动推送分析结果,支持零成本定时运行。
burn
综合 51
兼顾灵活性、高效性与跨平台特性的 Rust 深度学习框架。
supavisor
综合 51
面向云原生环境的多租户 Postgres 连接池工具。
tamarin-prover
综合 51
Tamarin prover 是一个用 Haskell 开发的安全协议验证工具。它主要解决网络和安全协议的安全性分析与形式化验证问题。核心功能包括支持复杂协议的模型构建与分析、提供图形化输出展示、内置大量协议案例,并配套 Tree-sitter 语法及常见编辑器的语法高亮支持。
cabal2nix
综合 51
cabal2nix 是一款能将 Haskell 的 Cabal 构建文件自动转换为 Nix 构建指令的工具,解决了在 Nix 生态中打包 Haskell 项目时的定义编写问题。它还包含用于生成 nixpkgs 中 `haskellPackages` 包集合的 hackage2nix 等核心组件。
play-json
综合 51
Play JSON 是一个用 Scala 编写的强大 JSON 库。它不依赖 Play 框架,底层使用 Jackson 解析。主要解决 Scala 应用中 JSON 解析、序列化与对象映射的需求。核心功能包括内置完整的 JSON AST、与样例类互转,以及提供便利的 DSL 操作符(如 `\`)快速查询和遍历 JSON。
基于 FastAPI 与 React 的全栈 Web 模板,集成 SQLModel、PostgreSQL、Vite 及 Docker Compose。
BitNet
综合 51
微软官方出品,针对 1-bit LLM 的推理框架。