项目分类
按分类浏览项目,点击分类切换下方列表。
全部
AI 应用与 AI Agent · 638
AI 模型与开发框架 · 712
自动化与工作流 · 320
数据分析与数据处理 · 813
网站与 SaaS 工具 · 326
效率与办公工具 · 350
图像、视频与音频 · 417
内容创作与媒体工具 · 291
电商与营销工具 · 99
游戏与娱乐 · 206
网络与基础设施 · 695
开发者工具 · 1652
安全与隐私工具 · 208
教育与学习 · 296
其他 · 2036
最新收录 共 6094 个项目 · 第 292/305 页
plugins
综合 40
Yazi 官方文档示例插件的集中仓库,方便用户通过包管理器快速更新。
ArknightsGameResource
综合 40
明日方舟游戏客户端解包与提取的游戏素材资源库。
nixpkgs-update
综合 40
nixpkgs-update 是一个用 Haskell 编写的自动化工具。它主要用于自动化更新 Nixpkgs 软件仓库中的软件包版本,自 2018 年起持续运行,帮助维护者省去手动检查和更新软件包版本的繁琐工作。
apalache
综合 40
Apalache 是面向 TLA+ 和 Quint 的符号模型检查器,基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑,实现有界模型检查并验证归纳不变量。借助约束求解能力,它可处理更大状态空间,解决传统工具难以应对的复杂系统验证问题。
lean.nvim
综合 40
为 Lean 定理证明器提供支持的 Neovim 插件。
treewalker.nvim
综合 40
基于语法树感知实现在代码节点间移动与导航的 Neovim 插件。
tokyodark.nvim
综合 40
基于 Lua 编写的 Neovim 简洁暗色主题。
operately
综合 40
面向现代化团队与公司协作运营的开源企业操作系统。
gluon
综合 40
用于构建基于 OpenWrt 的无线 Mesh 网络节点固件的模块化框架。
YueScript
综合 40
〔中文简介暂未生成〕 A delightful language that compiles to Lua
haskell-opaleye
综合 40
(暂无简介)
amazonka
综合 40
Amazonka 是专为 Haskell 打造的 AWS SDK,解决了在 Haskell 生态中对接 AWS 服务的需求。其核心功能包括基础配置、身份认证和请求发送逻辑,并借助代码生成器自动同步 Amazon 最新 API,全面支持绝大多数 AWS 公共服务。
mecha
综合 40
适用于 Zig 的解析器组合子(Parser Combinator)库。
kafka_ex
综合 40
Elixir 语言的 Kafka 客户端库。
druid
综合 40
功能强大的 Defold 引擎 UI 组件框架。
snekmate
综合 40
先进、高规范且经过极致优化的安全 Vyper 智能合约基础模块构件。
pg.zig
综合 40
Zig 语言的原生 PostgreSQL 驱动与客户端。
scalate
综合 40
〔中文简介暂未生成〕 Scalate is a Scala based template engine which supports HAML, Mustache and JSP, Erb and Velocity style syntaxes.
xmonad-contrib
综合 40
xmonad-contrib 是由社区维护的 XMonad 窗口管理器扩展库(基于 Haskell)。针对 xmonad 核心极简的设计,它提供了数百种额外的平铺布局算法和功能扩展模块,让开发者能按需自由定制,打造专属的 X11 窗口管理器。
money
综合 40
支持多币种的 Elixir 货币(Money)实现库。