登录 注册

项目分类

按分类浏览项目,点击分类切换下方列表。

全部 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 官方文档示例插件的集中仓库,方便用户通过包管理器快速更新。
Lua 633 0
其他 部署:待检测
明日方舟游戏客户端解包与提取的游戏素材资源库。
Lua 628 0
游戏与娱乐 部署:待检测

nixpkgs-update

综合 40
nixpkgs-update 是一个用 Haskell 编写的自动化工具。它主要用于自动化更新 Nixpkgs 软件仓库中的软件包版本,自 2018 年起持续运行,帮助维护者省去手动检查和更新软件包版本的繁琐工作。
Haskell 628 0
其他 部署:待检测

apalache

综合 40
Apalache 是面向 TLA+ 和 Quint 的符号模型检查器,基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑,实现有界模型检查并验证归纳不变量。借助约束求解能力,它可处理更大状态空间,解决传统工具难以应对的复杂系统验证问题。
Scala 626 0
AI 模型与开发框架 部署:待检测

lean.nvim

综合 40
为 Lean 定理证明器提供支持的 Neovim 插件。
Lua 623 0
其他 部署:待检测

treewalker.nvim

综合 40
基于语法树感知实现在代码节点间移动与导航的 Neovim 插件。
Lua 622 0
网络与基础设施 部署:待检测

tokyodark.nvim

综合 40
基于 Lua 编写的 Neovim 简洁暗色主题。
Lua 621 0
其他 部署:待检测

operately

综合 40
面向现代化团队与公司协作运营的开源企业操作系统。
Elixir 620 0
其他 部署:待检测

gluon

综合 40
用于构建基于 OpenWrt 的无线 Mesh 网络节点固件的模块化框架。
Lua 620 0
其他 部署:待检测

YueScript

综合 40
〔中文简介暂未生成〕 A delightful language that compiles to Lua
Lua 620 0
其他 部署:待检测

haskell-opaleye

综合 40
(暂无简介)
Haskell 619 0
其他 部署:待检测

amazonka

综合 40
Amazonka 是专为 Haskell 打造的 AWS SDK,解决了在 Haskell 生态中对接 AWS 服务的需求。其核心功能包括基础配置、身份认证和请求发送逻辑,并借助代码生成器自动同步 Amazon 最新 API,全面支持绝大多数 AWS 公共服务。
Haskell 617 0
开发者工具 部署:待检测

mecha

综合 40
适用于 Zig 的解析器组合子(Parser Combinator)库。
Zig 614 0
数据分析与数据处理 部署:待检测

kafka_ex

综合 40
Elixir 语言的 Kafka 客户端库。
Elixir 611 0
开发者工具 部署:待检测

druid

综合 40
功能强大的 Defold 引擎 UI 组件框架。
Lua 611 0
其他 部署:待检测

snekmate

综合 40
先进、高规范且经过极致优化的安全 Vyper 智能合约基础模块构件。
Solidity 608 0
其他 部署:待检测

pg.zig

综合 40
Zig 语言的原生 PostgreSQL 驱动与客户端。
Zig 607 0

scalate

综合 40
〔中文简介暂未生成〕 Scalate is a Scala based template engine which supports HAML, Mustache and JSP, Erb and Velocity style syntaxes.
Scala 606 0
其他 部署:待检测

xmonad-contrib

综合 40
xmonad-contrib 是由社区维护的 XMonad 窗口管理器扩展库(基于 Haskell)。针对 xmonad 核心极简的设计,它提供了数百种额外的平铺布局算法和功能扩展模块,让开发者能按需自由定制,打造专属的 X11 窗口管理器。
Haskell 603 0
其他 部署:待检测

money

综合 40
支持多币种的 Elixir 货币(Money)实现库。
Elixir 602 0
其他 部署:待检测
上一页 下一页