搜索结果：at（1086 个）
按分类缩小范围
ihp
综合 59
IHP 是一个基于 Haskell 和 Nix 的开箱即用型全栈 Web 框架，旨在提供兼顾编译期类型安全与极高开发效率的体验。它内置路由、HSX 模板、可视化数据库设计器、代码生成器、热重载及身份验证，并通过 Nix 统一部署环境，让开发者更稳、更快地构建 Web 应用。
CLI-Anything
综合 59
CLI-Anything：让所有软件都具备 Agent-Native 原生能力。
devpod
综合 59
开源且仅运行在客户端的 Codespaces 替代方案。支持任意 IDE，可在各大云厂商、Kubernetes 或本地 Docker 运行。
stream-reactor
综合 59
stream-reactor 是 Kafka Connect 连接器集合，解决 Kafka 与外部系统的数据同步问题。它提供多种 Source 和 Sink 连接器，支持 S3、Cassandra、MongoDB 等存储与队列，方便搭建实时数据管道。
taffybar
综合 59
Taffybar 是基于 GTK 3 和 Haskell 开发的桌面状态栏，主要为 XMonad 等平铺式窗口管理器提供美观的信息展示。它本质上是一个库，用户能用 Haskell 配置和编写自定义组件，提供多种内置小部件，支持 CSS 样式美化，并已初步支持 Wayland。
udash-core
综合 59
Udash 是一个基于 Scala.js 的全栈 Web 开发框架。它解决了前后端类型不统一及维护繁琐的问题。核心功能包括：响应式数据绑定、类型安全的 HTML/CSS 生成、前后端共享代码、基于 WebSocket 的双向 RPC 与 REST 通信，并提供前端路由和国际化支持。
atuin
综合 59
一款让 Shell 终端体验更加强大的命令行增强工具。
egison
综合 59
〔中文简介暂未生成〕 The Egison Programming Language
LibreChat
综合 58
增强版开源 ChatGPT Web 客户端，支持 Agent、MCP、Artifacts、模型切换及多家主流大模型 API。
motion-canvas
综合 58
用代码可视化呈现你的创意。
gitoxide
综合 58
纯 Rust 实现的 Git，注重优雅、精简、快速与安全。
fullPage.js
综合 58
快速简单地构建全屏滚动展示页面的经典前端插件。
gpt-researcher
综合 58
支持多 LLM 提供商、可对任意主题或数据进行深度调研的自主 AI Agent。
redox
综合 58
Redox 操作系统官方 GitLab 仓库的镜像。
kustomize
综合 58
用于无侵入定制 Kubernetes YAML 配置的工具。
scalacheck
综合 58
ScalaCheck 是一个专为 Scala 和 Java 程序设计的基于属性的自动化测试库。它受 QuickCheck 启发，能自动生成大量测试数据来验证代码属性是否始终成立，免去手写个别用例的繁琐。它零外部依赖，自带测试运行器，并深度集成了 SBT、ScalaTest 和 specs2。
tapir
综合 58
Tapir 是一个声明式、类型安全的 Scala HTTP API 库。它将端点定义与业务逻辑解耦，只需一套代码即可同时生成 HTTP 服务端、客户端调用代码，并自动导出 OpenAPI/AsyncAPI 文档。能无缝兼容 Netty、http4s、ZIO 等主流 Scala 生态框架。
OpenCut
综合 58
CapCut 的开源替代方案。
huobao-drama
综合 58
基于 AI 的一站式短剧生成平台，支持通过一句话实现从剧本到成片的全自动化制作。
cardano-node
综合 58
cardano-node 是参与 Cardano 去中心化区块链的核心节点程序。它整合了账本、共识机制和网络通信等底层模块，主要用于运行并维护 Cardano 节点。开发者既能直接运行它来加入网络、同步区块，也可以将其相关包作为 Haskell 库集成到自己的项目中。