搜索结果：less（49 个）
按分类缩小范围
automq
综合 44
基于 S3 的无盘化 Kafka，具备超高性价比、零跨 AZ 流量费、秒级弹性及个位数毫秒延迟。
strapi （开源无头内容管理系统）
综合 44
Strapi 是一款开源 Headless CMS，基于 JavaScript/TypeScript 构建，高度可定制，能帮开发者轻松管理内容并提供 API。
Antigravity-Manager
综合 44
基于 Tauri v2 和 React (Rust) 构建的 Antigravity 账号管理工具，支持一键无缝切换。
lanyard
综合 43
能在 10 秒内将你的 Discord 状态和活动通过 RESTful API 及 WebSocket 暴露出来。
paperless-mobile
综合 42
一款功能近乎完备的 Paperless 移动端客户端应用。
LastWave-Desktop
综合 42
基于 WinUI 的跨平台 YouTube Music 客户端，支持无损播放和发烧级音频功能。
kyuubi
综合 41
Apache Kyuubi 是一个分布式、多租户的 Serverless SQL 网关。它提供类 HiveServer2 的 JDBC/ODBC 接口，让开发者无需 Spark 背景，直接用纯 SQL 即可查询数仓与数据湖的大规模数据。服务端支持多租户架构，实现资源隔离、高并发与高可用。
smart-splits.nvim
综合 41
智能、无缝的 Neovim 与终端分屏方向导航和调整工具，支持 Zellij、Tmux、Wezterm 和 Kitty。
stainless
综合 40
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。