项目分类
按分类浏览项目，点击分类切换下方列表。
全部
AI 应用与 AI Agent · 632
AI 模型与开发框架 · 695
自动化与工作流 · 313
数据分析与数据处理 · 796
网站与 SaaS 工具 · 329
效率与办公工具 · 344
图像、视频与音频 · 421
内容创作与媒体工具 · 290
电商与营销工具 · 103
游戏与娱乐 · 208
网络与基础设施 · 674
开发者工具 · 1629
安全与隐私工具 · 194
教育与学习 · 299
其他 · 2027
其他 共 2027 个项目 · 第 80/102 页
amlogic-s9xxx-openwrt
综合 41
支持在 Amlogic、Allwinner 和 Rockchip 等多款芯片设备上运行 OpenWrt。
Packages
综合 41
Sublime Text 和 Sublime Merge 内置的语法高亮配置文件包。
FiraCode （带编程连字的等宽字体）
综合 41
专为程序员设计的免费开源等宽字体，支持编程代码连字（Ligatures）。
agda
综合 41
Agda 是一个基于依值类型（Dependent Types）的编程语言兼交互式定理证明器，使用 Haskell 开发。它主要用于类型理论研究和高可靠性程序验证，支持开发者编写严谨的程序代码，并利用其强大的类型系统进行数学定理的形式化交互证明、类型检查与编译。
elasticmq
综合 41
ElasticMQ 是一个兼容 Amazon SQS 接口的内存消息队列系统，基于 Scala 构建。它主要解决本地开发与测试中依赖真实 AWS SQS 的成本与繁琐问题。核心功能包括支持 SQS 语义的轮询与延时消息、全异步无阻塞运行，支持独立部署、Docker 或嵌入式运行，并提供可选的持久化和 Web 管理界面。
nx
综合 41
Elixir 的多维数组（张量）与数值计算库。
futhark
综合 41
Futhark 是由哥本哈根大学开发的数据并行纯函数式编程语言，属于 ML 语言家族。它主要解决高性能并行计算的编写难题，核心功能是将函数式代码编译为可在 CPU 或 GPU（支持 CUDA、OpenCL）上运行的高效并行程序，适用于实用级高性能计算场景。
Xray
综合 41
简单好用的 Xray 一键安装与管理脚本。
YAOF
综合 41
适用于 NanoPi R2C/R2S/R4S 及 x86 设备的 OpenWrt 固件。
wire-server
综合 41
**wire-server** 是即时通讯应用 Wire 的开源后端服务项目，主要供开发者自建和部署专属的 Wire 服务端。
它涵盖了运行系统所需的核心微服务与库，包括反向代理、账户与团队管理、会话处理、文件资产存储、推送通知及单点登录（SSO）等功能。
MINGW-packages
综合 41
在 MSYS2 环境下为 MinGW-w64 目标构建软件的打包脚本仓库。
broadway
综合 41
基于 Elixir 的高并发、多阶段数据摄取与处理框架。
scalatra
综合 41
Scalatra 是一款受 Sinatra 启发的极简、高性能 Scala 异步 Web 框架。它主要解决快速构建轻量级 Web 应用与接口的问题，核心提供简单直观的路由定义语法，支持 javax 与 jakarta 规范，并可配合 Jetty、Swagger 及 JSON 扩展使用。
gruvbox.nvim
综合 41
著名 Vim 配色方案 Gruvbox 的 Lua 移植版本，适用于 Neovim。
http4s
综合 41
〔中文简介暂未生成〕 A minimal, idiomatic Scala interface for HTTP
ash
综合 41
用于构建 Elixir 应用程序的声明式、可扩展框架。
circe
综合 41
〔中文简介暂未生成〕 Yet another JSON library for Scala
NotProton
综合 41
NotProton 致力于为 macOS 版 Steam 客户端带来类似 Linux 的 Steam Play 体验。它强行激活 Mac 端 Steam 闲置的兼容层功能，并移植部分 Valve Proton 组件，配合 CrossOver（支持 Rosetta 与 FEX）让 Mac 直接下载并运行 Windows 版游戏。注意不支持 VAC 反作弊。
nerves
综合 41
使用 Elixir 构建和部署高可靠嵌入式软件的开发平台。
chipyard
综合 41
Chipyard 是基于 Chisel 的开源敏捷 RISC-V SoC 设计框架。它整合了顺序核（Rocket）、乱序核（BOOM）、向量单元和加速器（Gemmini、NVDLA 等），并集成软件 RTL 仿真、FPGA 加速仿真及自动 VLSI 流程，帮开发者快速构建并验证全功能定制芯片。